Hello,
Does Haskell currently have support for linear types and dependent
types? If so, is it necessary to specify a "pragma" to use and if so, what
is the pragma(s)?Kind regards, Vasili
_______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
