Changes between Version 19 and Version 20 of Commentary/Abbreviations


Ignore:
Timestamp:
Jun 29, 2011 3:46:54 PM (4 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"