Changes between Version 60 and Version 61 of TypeFunctions


Ignore:
Timestamp:
Dec 4, 2006 8:47:27 PM (9 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 ==