One typo correction: On Wed, Mar 18, 2009 at 2:15 AM, Ryan Ingram <[email protected]> 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 _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
