[Haskell-cafe] Re: [Haskell] (.) . (.)

[Jon Fairbairn]

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.

You've read 

http://www.amazon.co.uk/exec/obidos/ASIN/0444875085/qid=1148927765/sr=1-1/ref=sr_1_0_1/203-8973698-1827131

I presume? ;-) It's a bestseller...

-- 
Jón Fairbairn                              Jon.Fairbairn at cl.cam.ac.uk