[Haskell-cafe] Re: [Haskell] (.) . (.)
jon.fairbairn at cl.cam.ac.uk
Mon May 29 14:43:19 EDT 2006
On 2006-05-29 at 19:03BST "Brian Hulley" wrote:
> Dominic Steinitz wrote:
> I think it's fascinating that already with ((.).(.)) there
> is something that can be used practically and proved
> equivalent to something easily comprehensible,
Well, it is compose composed with compose, so you can start
from the idea that it's going to do something to do with
composition and twoness...
> Certainly it shows how much there is still to explore in
> terms of the inner landscape of lambda calculus.
I presume? ;-) It's a bestseller...
Jón Fairbairn Jon.Fairbairn at cl.cam.ac.uk
More information about the Haskell-Cafe