Changes between Version 77 and Version 78 of TypeFunctions


Ignore:
Timestamp:
May 16, 2007 12:34:58 AM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctions

    v77 v78  
    1515 
    1616We also have notes on [wiki:TypeFunctionsSynTC type checking with indexed synonyms.] 
     17 
     18A related extension are [wiki:TypeFunctions/ClassFamilies class families.] 
    1719 
    1820== Terminology ==