Changes between Version 27 and Version 28 of Commentary/Abbreviations


Ignore:
Timestamp:
Dec 1, 2011 4:02:08 PM (2 years 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.)