odoc
odoc copied to clipboard
Markdown output
We would like to be able to render to a markdown document.
PR #791 is still open so this issue seems still relevant.