zipperposition icon indicating copy to clipboard operation
zipperposition copied to clipboard

Published 20 hours ago • verified publisher icon sneeuwballen

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

Open abentkamp opened this issue 5 years ago • 1 comments

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!

abentkamp avatar Jul 25 '19 14:07 abentkamp

depends on merges + release + ocamlformat first

c-cube avatar Jul 25 '19 20:07 c-cube