Idris2Doc : Text.Markdown.Parser

Text.Markdown.Parser

(source)
Reexports
import public Text.Markdown.Tokens
Definitions
parseMarkdown : List MarkdownToken -> Maybe Markdown
  Visibility: export