Don Stewart wrote:
This could be a game changer.

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?

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

Reply via email to