[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