[Haskell-cafe] linear and dependent types

[Vasili I. Galchin]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20110218/8e3096fb/attachment.htm>