Hans Aberg wrote:
> [...] Then together with the identity I, +, * and ^ can be written
> out to be a primitive set for the lambda theory. That is, all lambda
> expressions can be generated from these symbols.

Impressive!  %-)  Hmmm, I just thought about the possible directions
of this discussion if I had written the more general

   (.|) :: Functor f => f a -> (a -> b) -> f b
   (.|) = flip fmap

instead...    :-}

Cheers,
   Sven
-- 
Sven Panne                                        Tel.: +49/89/2178-2235
LMU, Institut fuer Informatik                     FAX : +49/89/2178-2211
LFE Programmier- und Modellierungssprachen              Oettingenstr. 67
mailto:[EMAIL PROTECTED]            D-80538 Muenchen
http://www.pms.informatik.uni-muenchen.de/mitarbeiter/panne


Reply via email to