Upgrade odoc
aantron opened this issue · 0 comments
aantron commented
The latest odoc has some better automatic formatting, such as in ocaml/odoc#680, which could reduce the amount of rewriting needed to make Dream's docs look nice. On the other hand, the upgrade is not strictly necessary, as odoc 2.0.2 works fine, so this issue can be done later.