Lambda calculus - compiler, type inference, and evaluator in less than 100 LOC gist.github.com 2 points by tearflake 3 days ago