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.