Changes between Version 157 and Version 158 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Oct 21, 2010 11:36:25 AM (4 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v157 v158  
    9696 * #4295: Higher rank and impredicative  
    9797 * #4338: superclass equalities 
     98 * #4310: deferred equalities and forall types (needs Brent's work) 
    9899 
    99100 * #816: extreme delicacy in solve order