Changes between Version 364 and Version 365 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Jul 2, 2013 4:30:16 PM (22 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v364 v365  
    33== Type inference == 
    44 
    5  * #8020: apartness checks 
     5 * #8020, #8028: Closed type families, apartness checks 
    66 * #7259: Eta-expansion of products in System FC 
    77 * #5682: Parsing of pomoted kinds