2/25/2020
•
EN
Untyped Lambda Calculus, Church Numerals, and the Y Combinator in Go
Exploring the untyped Lambda Calculus, Church numerals, and the Y Combinator by implementing them in Go's type system.