Bulat Ziganshin wrote:
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/
Google gives http://www.cis.upenn.edu/~dimitriv/boxy/boxy.ps
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
