Show HN: Type-level Lambda Calculus interpreter in TypeScript github.com 10 points by evolveyourmind 5 years ago · 1 comment Reader PiP Save Collapse all Expand all 1 thread informationally 5 years ago Very cool.