Closed aantron closed 6 years ago
cc @pmetzger
👍
I made an attempt in the linked commit, any comments on it welcome :)
The online docs are currently blocked on fixing some stuff in odoc, but will eventually be updated as well.
cc @pmetzger