Changes between Version 298 and Version 299 of Status/SLPJ-Tickets

Show
Ignore:
Timestamp:
10/04/12 09:26:17 (8 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Status/SLPJ-Tickets

    v298 v299  
    99 
    1010 * #6018: Injective type families (patch offered) 
     11 * #7259: Eta-expansion of products in System FC 
    1112 * #7035: Pedro's generics 
    1213 * #5863: deriving `Typeable` for data families