18 Feb
2011
18 Feb
'11
2:04 p.m.
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