Changes between Version 12 and Version 13 of Status/May14


Ignore:
Timestamp:
Apr 28, 2014 2:37:07 PM (16 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/May14

    v12 v13  
    2323 * **Kind equality and kind coercions** - TODO Richard
    2424
    25  * **Partial type synonyms** - TODO Simon, Thomas
     25 * **Partial type signatures** - TODO Simon, Thomas
    2626
    2727