[Haskell-cafe] Re: Sending bottom to his room

Cristian Baboi cristian.baboi at gmail.com
Sat Dec 29 09:13:37 EST 2007

On Sat, 29 Dec 2007 16:01:51 +0200, Achim Schneider <barsoap at web.de> wrote:

> "Cristian Baboi" <cristian.baboi at gmail.com> wrote:
>> It appears as if  lambda calculus is defined by lambda calculus.

> Yes. id (lambda calculus) = lambda calculus. You might try to point
> back to yourself when being asked who you are to see the advantage of
> this technique.

The next question is if id is well defined.
There is such a function ?
How many of them ?

More information about the Haskell-Cafe mailing list