Changes between Version 12 and Version 13 of Status/May14


Ignore:
Timestamp:
Apr 28, 2014 2:37:07 PM (13 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