Changes between Version 21 and Version 22 of Commentary/Abbreviations


Ignore:
Timestamp:
Jul 9, 2011 12:42:24 AM (3 years ago)
Author:
dterei
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Abbreviations

    v21 v22  
    1616* "Ds" means "Desugarer" 
    1717 
    18 * "Tc" means "TypeCheck{ing,er}" 
     18* "Tc" means "!TypeCheck{ing,er}" 
    1919 
    2020* "Ty" means "Type"