ExistentialQuantifier
Ross Paterson
ross at soi.city.ac.uk
Tue Feb 14 18:56:25 EST 2006
Is this the same as ExistentialQuantification?
(And what would an existential in a covariant position look like?)
More information about the Haskell-prime
mailing list