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
