Untyped Lambda Calculus, Church Numerals, and the Y Combinator in Go #1 Post by hekul » Tue, Feb 25, 2020, 4:08 PM UTC Untyped Lambda Calculus, Church Numerals, and the Y Combinator in Golink.medium.com