Changes between Version 25 and Version 26 of Commentary/Abbreviations


Ignore:
Timestamp:
Jul 9, 2011 1:02:43 AM (4 years ago)
Author:
dterei
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Abbreviations

    v25 v26  
    1313* '''!CoreFV''': Free variables in core
    1414
    15 * '''!CoreLint: Type and sanity-checking of core. (Lint: Jargon for a program analysis that looks for bug-suspicious code.)
     15* '''!CoreLint''': Type and sanity-checking of core. (Lint: Jargon for a program analysis that looks for bug-suspicious code.)
    1616
    1717* '''!CoreSubst''': Substitution in core