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 ==