Changes between Version 29 and Version 30 of TypeFunctionsSynTC

Show
Ignore:
Timestamp:
03/08/07 11:17:38 (6 years ago)
Author:
samb
Comment:

FC -> FC (that is, format the C as a subscript)

Legend:

Unmodified
Added
Removed
Modified

  • TypeFunctionsSynTC

    v29 v30  
    11= Type Checking with Indexed Type Synonyms = 
    22 
    3 GHC has now FC as its typed intermediate language. 
     3GHC has now F,,C,, as its typed intermediate language. 
    44In a next step, we wish to add type functions to 
    55GHC's source language.  Type functions in combination