4 ms·Untyped Lambda Calculus, Church Numerals, and the Y Combinator in Go4 points by lukehoban 3y ago