sneeuwballen/zipperposition

Rename `Unif.FO`, `Subst.FO`, etc

abentkamp opened this issue · 1 comments

abentkamp commented

Our idea at the workshop was to rename Term into HTerm and Type into HType.
Then the FO submodules can also be renamed into HTerm.

This should be done after the big merge!

c-cube commented

depends on merges + release + ocamlformat first