Changes between Version 68 and Version 69 of TypeFunctions

Show
Ignore:
Timestamp:
01/27/07 04:28:46 (6 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 ==