Changes between Version 68 and Version 69 of TypeFunctions


Ignore:
Timestamp:
Jan 27, 2007 12:28:46 PM (8 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctions

    v68 v69  
    1414We keep track of the current [wiki:TypeFunctionsStatus implementation status]. 
    1515 
     16We also have notes on [wiki:TypeFunctionsSynTC type checking with indexed synonyms.] 
    1617 
    1718== Specification and Restrictions == 
     
    7475 * [wiki:TypeFunctionsCore desugaring,] and 
    7576 * [wiki:TypeFunctionsIface interfaces.] 
    76 We also have notes on [wiki:TypeFunctionsSynTC type checking with indexed synonyms.] 
     77 
    7778 
    7879== Possible Extensions ==