Changes between Version 355 and Version 356 of Status/SLPJ-Tickets


Ignore:
Timestamp:
May 14, 2013 9:30:38 PM (11 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v355 v356  
    127127 
    128128 * [wiki:TypeFunctionsStatus] 
     129 * #7908: Kind polymorphism notation 
    129130 * #7503: Kind polymorphism and mutual recursion 
    130131 * #6018, #4259: Injective type families and type family overlap