Changes between Version 20 and Version 21 of GhcKinds


Ignore:
Timestamp:
Dec 15, 2011 11:34:10 AM (4 years ago)
Author:
dreixel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • GhcKinds

    v20 v21  
    2020 
    2121'''Future work:''' promote type synonyms to kind synonyms. 
     22 
     23= Kind-polymorphic `Typeable` = 
    2224 
    2325= Generalized Algebraic Data Kinds (GADKs) =