Changes between Version 4 and Version 5 of Status/May14


Ignore:
Timestamp:
Apr 28, 2014 11:17:45 AM (15 months ago)
Author:
thoughtpolice
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/May14

    v4 v5  
    2020
    2121 * **Kind equality and kind coercions** - TODO Richard
     22
     23 * **Partial type synonyms** - TODO Simon, Thomas
    2224
    2325== Back-end and runtime system ==