Post permalink

It's the standard Church encoding of the natural numbers into pure lambda calculus. If you've been exposed to it it's definitely easier than the other problem, since you just need to be familiar
with the encoding, not actually solve anything. =)

If I have ever been exposed to it, my memory definitely removed it very well.