Church numerals – Math – Snap! Forum https://forum.snap.berkeley.edu/t/church-numerals/6094
Okay, so, Jens asked me to make a Church numeral project. Lambda calculus, the ultimate source of the λ in the Snap! logo, is a branch of mathematics that describes an abstract computer that only has the features and .…
In the handout there’s a big complicated explanation of why if-then-else has to be