Gitstar Ranking

mgechev / typed-calc

Interpreter for simply typed lambda calculus implemented in JavaScript λ - View it on GitHub
https://blog.mgechev.com/2017/08/05/typed-lambda-calculus-create-type-checker-transpiler-compiler-javascript/
Star
34
Rank
616630