27 May
2007
27 May
'07
12:59 p.m.
Andrew Coppin wrote:
OOC, can anybody tell me what ∀ actually means anyway?
http://en.wikipedia.org/wiki/Universal_quantification http://en.wikipedia.org/wiki/System_F
I do recall that GHC has some weird extension called "existential quantification"
http://haskell.org/haskellwiki/Existential_types http://en.wikibooks.org/wiki/Haskell/Existentially_quantified_types Regards, apfelmus