Lambda calculus - compiler, type inference, and evaluator in less than 100 LOC

2 points| tearflake | 10 months ago |gist.github.com