HR
Replaces bound and free with just names, has names in the binders
Extension of IR
replace free and bound by var
Contains a map of namesybmols
Place for Pretty printing
Substitution
Translates into IR
State monad with traversal
Last modified
June 25, 2021
: Give title sections to HR and IR docs (fd30d8a)