Changes between Version 313 and Version 314 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Dec 21, 2012 4:46:36 PM (16 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v313 v314  
    66 * #5642: slow constraint solving 
    77 
     8 * #7436: avoid leak when deriving `Traversable` etc. 
    89 * #7503: Kind polymorphism and mutual recursion 
    910 * #6018: Injective type families (patch offered)