Idris2Doc : Text.Markdown

Text.Markdown

(source)
Reexports
import public Text.Markdown.Data
Definitions
parse : String -> Maybe Markdown
  Parse a Markdown string

  Visibility: export