[Haskell-cafe] Re: Sending bottom to his room
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