Changes between Version 362 and Version 363 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Jun 28, 2013 4:44:19 PM (10 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v362 v363  
    33== Type inference == 
    44 
     5 * #8020: apartness checks 
    56 * #7259: Eta-expansion of products in System FC 
    67 * #5682: Parsing of pomoted kinds