wiki:Commentary/Abbreviations

Version 2 (modified by megacz, 5 years ago) (diff)

--

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