2019-07-30 17:54:30 (GMT)
Things I'd like to consider for the cleanup (feel free to add more):
- factor some code (I think @Petar Vukmirovic introduced some duplications at place to move fast), for example alpha-equiv/unif can share some code (cf core/Unif.ml)
- apply ocamlformat once everything is merged
- ensure everything compiles on 4.06 or earlier (tests included) — this is checked by travis down to 4.03 currently.
- look for dead code
- document new modules and new functions