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


Ignore:
Timestamp:
Oct 4, 2012 4:26:17 PM (3 years 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