A PoC compiler that translates untyped lambda calculus into TypeScript types
Primary LanguageRustMIT LicenseMIT