[Haskell-cafe] Re: Sending bottom to his room
Achim Schneider
barsoap at web.de
Sat Dec 29 09:01:51 EST 2007
"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.
--
(c) this sig last receiving data processing entity. Inspect headers for
past copyright information. All rights reserved. Unauthorised copying,
hiring, renting, public performance and/or broadcasting of this
signature prohibited.
More information about the Haskell-Cafe
mailing list