contextfree said:giovanni said:*snip*
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.
Thanks for the link, very instructive!
Edit: That was brilliant Charles