Changes between Version 60 and Version 61 of TypeFunctions

Show
Ignore:
Timestamp:
12/04/06 12:47:27 (6 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • TypeFunctions

    v60 v61  
    7171 * [wiki:TypeFunctionsCore desugaring,] and 
    7272 * [wiki:TypeFunctionsIface interfaces.] 
    73   
     73We also have notes on [wiki:TypeFunctionsSynTC type checking with indexed synonyms.] 
    7474 
    7575== Possible Extensions ==