ts-lambda

TypeScript ★ 5 updated 1y ago

😎λ-calculus in TypeScript type system | TS 类型系统 λ-演算

No plain-English explanation yet — one is being written right now. Check back in a minute.