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


Ignore:
Timestamp:
Oct 4, 2012 5:12:39 PM (19 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v299 v300  
    1414 * [wiki:NewAxioms] Pattern matching axioms 
    1515 * #7071, #5267, #5609, #5777, #344: bugs in arrows; awaiting refactoring by Dan 
     16 * #7024: a class to controll FFI marshalling; and newtype deriving for classes with ATs 
    1617 
    1718== Template Haskell ==