Changes between Version 281 and Version 282 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Jun 7, 2012 12:57:43 PM (23 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v281 v282  
    1313 * #5939, #5936: Pedro's generics 
    1414 * #5863: deriving `Typeable` for data families 
     15 * [wiki:NewAxioms] Pattern matching axioms 
    1516 
    1617== Template Haskell ==