Changes between Version 29 and Version 30 of TypeFunctionsSynTC


Ignore:
Timestamp:
Mar 8, 2007 7:17:38 PM (7 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