Hello, while studying for a exam I came across this little pearl:
Y = (L L L L L L L L L L L L L L L L L L L L L L L L L L L L) whereL = λabcdefghijklmnopqstuvwxyzr. (r (t h i s i s a f i x e d p o i n t c o m b i n a t o r))
posted by Cale Gibbard to this list. Now I'm wondering how exactly does one finde such awesome λ expressions? Is there some mathemagical background that lets one conjure such beasts?
Adrian
PGP.sig
Description: Signierter Teil der Nachricht
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe