Search results

variant

Variant types (a.k.a. Discriminated Unions) in TypeScript

• typescript
• variant
• type-theory

paarth

published 2.1.0 • 3 years agopublished 2.1.0 3 years ago

@paarth/variant

Variant types (a.k.a. Discriminated Unions) in TypeScript

• typescript
• variant
• type-theory

paarth

published 0.9.4 • 4 years agopublished 0.9.4 4 years ago

escoc

A nano proof language.

• theorem-proving
• lambda-calculus
• functional-programming
• type-theory

maiavictor

published 0.1.2 • 5 years agopublished 0.1.2 5 years ago