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
- Re: how to write a simple cat Lennart Augustsson
- Re: how to write a simple cat Kevin Atkinson
- RE: how to write a simple cat Frank A. Christoph
- Re: how to write a simple cat Friedrich Dominicus
- RE: how to write a simple cat Simon Peyton-Jones
- RE: how to write a simple cat trb
- RE: how to write a simple cat Hans Aberg
- RE: how to write a simple cat Peter Hancock
- RE: how to write a simple cat Hans Aberg
- RE: how to write a simple cat Jan Skibinski
- Re: how to write a simple cat Sven Panne
- Re: how to write a simple cat Hans Aberg
- Re: how to write a simple cat Laszlo Nemeth
- Re: how to write a simple cat Hannah Schroeter
- Re: how to write a simple cat Mariano Suarez-Alvarez
- Re: how to write a simple cat Hans Aberg
- Re: how to write a simple cat Hannah Schroeter
- Re: how to write a simple cat Friedrich Dominicus
- Re: how to write a simple cat Friedrich Dominicus
- Re: how to write a simple cat Mariano Suarez-Alvarez
- Re: how to write a simple cat Hans Aberg