[Haskell-cafe] encoding for least fixpoint

Ryan Ingram ryani.spam at gmail.com
Wed Mar 18 05:20:13 EDT 2009

One typo correction:

On Wed, Mar 18, 2009 at 2:15 AM, Ryan Ingram <ryani.spam at gmail.com> wrote:
> Let "Pair a b" be an abbreviation for "forall c. (a -> b -> c)",

This should say that Pair a b is an abbreviation for
   forall c. (a -> b -> c) -> c

  -- ryan

More information about the Haskell-Cafe mailing list