in the HCAR GHC team wrote "On the type system front, we hope to ...
Allow you to use data types as kinds, in a manner similar to Tim
Sheard▓s Omega language". can someone point me where i can read about
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