HR F#: Lambda Calculus - Evaluating Expressions #5
This is even more simple than the previous one.
Compute the value of λx.λy.y.
The answer is 0. See the same Church numerals table.
This is even more simple than the previous one.
Compute the value of λx.λy.y.
The answer is 0. See the same Church numerals table.