6 ms·Lambda calculus - compiler, type inference, and evaluator in less than 100 LOC2 points by tearflake 1y ago