odoc icon indicating copy to clipboard operation
odoc copied to clipboard

Markdown output

Open jonludlam opened this issue 4 years ago • 1 comments

We would like to be able to render to a markdown document.

jonludlam avatar Jul 29 '21 10:07 jonludlam

PR #791 is still open so this issue seems still relevant.

vphantom avatar Jul 30 '22 13:07 vphantom