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