Changes between Version 19 and Version 20 of Commentary/Abbreviations


Ignore:
Timestamp:
Jun 29, 2011 3:46:54 PM (3 years ago)
Author:
dwincort
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Abbreviations

    v19 v20  
    1010* "Rts" means "Run Time System" 
    1111 
    12 * "Rdr" means "Parser" (do not ask me why, I don't know) 
     12* "Rdr" means "Parser" (or reader) 
    1313 
    1414* "Ds" means "Desugarer"