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.

Get the latest posts delivered right to your inbox