Show HN: Type-level Lambda Calculus interpreter in TypeScript(github.com)10 points by evolveyourmind 4 years ago | 1 comment