I’m wondering what the plan for API documentation in
resi files is.
If I understand correctly, the current state seems to be:
/** ... */comments are not converted to
Is the plan to support an
odoc-based workflow for API documentation?