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