Changes between Version 42 and Version 43 of TypeFunctions


Ignore:
Timestamp:
Aug 9, 2006 5:52:43 PM (9 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