Don Stewart wrote:In what way? As far as I'm aware, .NET never really caught on and has long since become obsolete. Or do you just mean the type system machinery that has been developed could be used for other projects?
This could be a game changer.
Great work Andrew!!
Yes indeed. I'm looking at the thesis now. It looks rather interesting...
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe