Changes between Version 77 and Version 78 of TypeFunctions


Ignore:
Timestamp:
May 16, 2007 12:34:58 AM (8 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 ==