Changes between Version 27 and Version 28 of Commentary/Abbreviations

Show
Ignore:
Timestamp:
12/01/11 08:02:08 (19 months ago)
Author:
simonmar
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Commentary/Abbreviations

    v27 v28  
    1111* '''Core''': GHC core language. Based on System FC (variant of System F). Represents a type-checked and desugared program in some (out of several) intermediate compilation step 
    1212 
    13 * '''!CoreFV''': Free variables in core 
     13* '''CoreFV''': Free variables in core 
    1414 
    1515* '''!CoreLint''': Type and sanity-checking of core. (Lint: Jargon for a program analysis that looks for bug-suspicious code.)