[Tutor] church numerals (fwd)

[Danny Yoo]

[Forwarding to tutor.

Asrarahmed, please learn to use the "Reply to All" feature on your email 
client.]


---------- Forwarded message ----------
Date: Sun, 12 Nov 2006 11:03:42 +0000
From: Asrarahmed Kadri <ajkadri at googlemail.com>
To: Danny Yoo <dyoo at hkn.eecs.berkeley.edu>
Subject: Re: [Tutor] church numerals

> Believe it or not, these things actually work like numbers:
>
> #########################
>>>> def iszero(n):
> ...     def s(x):
> ...         return False
> ...     return n(s, True)


Where is n() defined  ...?????