Changes between Version 325 and Version 326 of Status/SLPJ-Tickets

Show
Ignore:
Timestamp:
01/11/13 01:53:58 (4 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Status/SLPJ-Tickets

    v325 v326  
    117117 * [wiki:TypeFunctionsStatus] 
    118118 * #7503: Kind polymorphism and mutual recursion 
    119  * #6018: Injective type families (patch offered) 
     119 * #6018, #4259: Injective type families and type family overlap 
    120120 * #7259: Eta-expansion of products in System FC * #4296: !SkolemOccurs 
    121121 * #816. #3108: extreme delicacy in solve order, involving fundeps