22 Nov
2005
22 Nov
'05
2:28 p.m.
Hello Simon, Tuesday, November 22, 2005, 8:17:38 PM, you wrote: SPJ> I have not written anything about what I plan to do in GHC, but SPJ> basically it amounts to allowing you to use a data type as a SPJ> kind. Busy doing GADTs and impredicativity at the moment though Simon, i can't download file http://research.microsoft.com/~simonpj/papers/boxy/boxy-pldi.ps.gz reffered at http://research.microsoft.com/~simonpj/papers/boxy/ -- Best regards, Bulat mailto:bulatz@HotPOP.com