Untyped Lambda Calculus, Church Numerals, and the Y Combinator in Go #1 Post by lukehoban » Sat, Aug 19, 2023, 10:40 PM UTC Untyped Lambda Calculus, Church Numerals, and the Y Combinator in Golukehoban.com