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

Show
Ignore:
Timestamp:
06/07/12 05:57:43 (12 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 ==