> 2009/5/24 Petr Pudlak <[email protected]>: > If all Haskell had would be HM, it would be System F.
That cannot be quite right, can it? System F has more powerful polymorphism than HM. Ciao, Janis. _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
