Changes between Version 307 and Version 308 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Oct 27, 2012 2:07:03 PM (18 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v307 v308  
    1010 * #6018: Injective type families (patch offered) 
    1111 * #7259: Eta-expansion of products in System FC 
    12  * #7035: Pedro's generics 
     12 * #7346: Pedro's generics and deriving 
    1313 * #5863: deriving `Typeable` for data families 
    1414 * [wiki:NewAxioms] Pattern matching axioms