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


Ignore:
Timestamp:
Jul 2, 2013 4:30:16 PM (2 years 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