[Haskell-cafe] Higher order types via the Curry-Howard correspondence

[Stefan O'Rear]

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