On Jun 17, 2008, at 11:08 PM, Don Stewart wrote: > Haskell's type system is based on System F, the polymorphic lambda > calculus. By the Curry-Howard isomorphism, this corresponds to > second-order logic. just nitpicking a little.... this should read "second-order propositional logic", right? daniel