Idris.Docstrings

type Docstring

parseDocstring

renderDocstring

emptyDocstring

nullDocstring

noDocs

overview

containsText