You are viewing a single comment's thread. Return to all comments →
You can read the definition of Church numerals here: https://rosettacode.org/wiki/Church_numerals
The answer is 2, that is, this is the function that applies its first argument on its second argument 2 times:
λx.λy.x(xy) F v = F(F(v))
Seems like cookies are disabled on this browser, please enable them to open this website
Lambda Calculus - Evaluating Expressions #4
You are viewing a single comment's thread. Return to all comments →
You can read the definition of Church numerals here: https://rosettacode.org/wiki/Church_numerals
The answer is 2, that is, this is the function that applies its first argument on its second argument 2 times: