Show HN: Type-level Lambda Calculus interpreter in TypeScript (github.com) 10 points by evolveyourmind 4y ago ↗ HN
1 comment
[ 2.5 ms ] story [ 14.1 ms ] thread