One typo correction:
On Wed, Mar 18, 2009 at 2:15 AM, Ryan Ingram <ryani.spam@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
