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