Changes between Version 75 and Version 76 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Nov 10, 2009 12:00:08 PM (6 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v75 v76  
    7171------------------------
    7272== Types and type inference ==
    73 
     73 * [wiki:TypeFunctionsStatus]
    7474 * #3490: superclasses and ambiguity
    7575 * #3638: rules and rigidity for GADTs