Hacker News new | ask | show | jobs
Show HN: Type-level Lambda Calculus interpreter in TypeScript (github.com)
10 points by evolveyourmind 1646 days ago
1 comments
informationally 1646 days ago
Very cool.
link