Changes between Version 11 and Version 12 of Commentary/Abbreviations


Ignore:
Timestamp:
Mar 9, 2011 6:27:26 AM (3 years ago)
Author:
megacz
Comment:

I FIGURED IT OUT!!!! Rdr is an abbreviation for "parser"! How obvious!

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Abbreviations

    v11 v12  
    88* "Rn" means "Renamer" 
    99 
    10 * "Rdr" means ??? (help, somebody fill this in, I still have no idea what it stands for) 
     10* "Rdr" means "Parser" (do not ask me why, I don't know) 
    1111 
    1212* "Tc" means "TypeCheck{ing,er}"