Changes between Version 288 and Version 289 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Jun 29, 2012 4:59:54 PM (22 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v288 v289  
    99 
    1010 * #6018: Injective type families (patch offered) 
    11  * #5939, #5936: Pedro's generics 
     11 * #7035: Pedro's generics 
    1212 * #5863: deriving `Typeable` for data families 
    1313 * [wiki:NewAxioms] Pattern matching axioms