variant
Variant types (a.k.a. Discriminated Unions) in TypeScript
2.1.0 • Published 2 months ago
Type-theory Packages
@paarth/variant
Variant types (a.k.a. Discriminated Unions) in TypeScript
escoc
A nano proof language.
0.9.4 • Published 4 years ago
0.1.2 • Published 5 years ago