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