Easy to Use
ROTOR is easily installed via OPAM and invoked on the command line. It uses your .merlin
file to find your code, and outputs a diff
patch of your refactoring.
Trustworthy
Developed at the University of Kent as part of a project on Trustworthy Refactoring, ROTOR is designed on solid formal principles and an analysis of OCaml’s semantics.
Community
ROTOR has been developed for the OCaml community, with the collaboration of Jane Street. Future plans include integration with IDEs and the dune build tool.