[Haskell-cafe] linear and dependent types

Vasili I. Galchin vigalchin at gmail.com
Fri Feb 18 20:04:22 CET 2011


       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,

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

More information about the Haskell-Cafe mailing list