Changes between Version 14 and Version 15 of Commentary/Abbreviations


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

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Abbreviations

    v14 v15  
    1010* "Rdr" means "Parser" (do not ask me why, I don't know) 
    1111 
     12* "Ds" means "Desugarer" 
     13 
    1214* "Tc" means "TypeCheck{ing,er}" 
    1315