On Tue, May 15, 2007 at 07:44:25PM -0700, Stefan O'Rear wrote: > λ(el : *). ∀(res : *). (∀(seed : *). seed → (seed → el) → (seed → seed) → res)
that little decoding error at the end should have been -> res. I need a better unicode editing solution :) Stefan _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
