wiki:Commentary/Abbreviations

Version 1 (modified by megacz, 3 years ago) (diff)

list abbreviations I've come across so far

  • "Occ" means "Occurrence"
  • "Rn" means "Renamer"
  • "Rdr" means ???
  • "Tc" means "TypeCheck?{ing,er}"