Changes between Version 68 and Version 69 of TypeFunctions


Ignore:
Timestamp:
Jan 27, 2007 12:28:46 PM (9 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 ==