Changes between Version 423 and Version 424 of Status/SLPJ-Tickets


Ignore:
Timestamp:
May 19, 2014 12:13:44 PM (11 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v423 v424  
    2828== Type families == 
    2929  
     30 * #9123: higher order roles 
    3031 * #6018: injective type families 
    3132 * #8161: associated type more specific than class decl