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 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
