EvolveYourMind/ts-lambda-calc
Type-Level Lambda Calculus interpreter with TypeScript
10 best points · 1 comments · 2 Hacker News posts · 18 GitHub stars · View on GitHub
Hacker News discussions
- Show HN: Type-level Lambda Calculus interpreter in TypeScript (10 points, 1 comments, by evolveyourmind, 2021-12-17)
- Show HN: Lambda Calculus evaluation with type-annotations in TypeScript (2 points, 0 comments, by evolveyourmind, 2021-12-15)