Changes between Version 32 and Version 33 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Dec 31, 2008 4:34:52 PM (7 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v32 v33  
    5959 * #2641: revise what `-XExtendedDefaultRules` does 
    6060 * #1634: deep skolemisation 
     61 * #2357: '''Implement the Haskell Prime proposal for polymorphic pattern bindings''' 
    6162 
    6263=== Impredicativity ===