Lambda calculus - compiler, type inference, and evaluator in less than 100 LOCgist.github.com2 pointstearflakea year ago