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


Ignore:
Timestamp:
May 19, 2014 12:38:44 PM (16 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