Changes between Version 4 and Version 5 of Status/May14


Ignore:
Timestamp:
Apr 28, 2014 11:17:45 AM (14 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 ==