Coffeehouse Post

Single Post Permalink

View Thread: Nicely done, Channel 9 (posted by Dr Herbie).
  • User profile image

    contextfree said:
    giovanni said:

    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