Idris2Doc : Text.Markdown.Lexer

Text.Markdown.Lexer

(source)
Reexports
import public Text.Markdown.Tokens
Definitions
lexMarkdown : String -> Maybe (List MarkdownToken)
  Totality: total
  Visibility: public export