Changes between Version 42 and Version 43 of TypeFunctions


Ignore:
Timestamp:
Aug 9, 2006 5:52:43 PM (8 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctions

    v42 v43  
    6060== How It Works == 
    6161 
     62The details of the implementations are split over a couple of subpages, due to the amount of the material: 
     63 * [wiki:TyepFunctionsSyntax syntax and representation,] 
     64 * [wiki:TypeFunctionsRenaming renaming,] 
     65 * [wiki:TypeFunctionsTypeChecking type checking,] and 
     66 * [wiki:TypeFunctionsCore representation in Core and interfaces.] 
     67 
    6268=== Syntax of kind signatures and definitions of indexed types === 
    6369