Idris.Docstrings
data Docstring a
data Block a
data Inline a
parseDocstring
renderDocstring
emptyDocstring
nullDocstring
noDocs
overview
containsText
renderHtml
annotCode
data DocTerm
renderDocTerm
checkDocstring