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


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

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v424 v425  
    2828== Type families == 
    2929  
     30 * #9117: rules for solving `Coercible` constraints 
    3031 * #9123: higher order roles 
    3132 * #6018: injective type families