Lambda Calculus: More Numbers

Recap In the last post not dealing with the internals of the Lambda Calculator, we introduced Church Numerals and some basic operations. There are actually only two operations that are needed and these are: isZero which is true if the number is zero and false otherwisesucc which gives us the successor of any Church numeral … Continue reading Lambda Calculus: More Numbers