Idris2Doc : Text.Markdown.Format.Html

Text.Markdown.Format.Html

(source)

Definitions

toHtml : Markdown->String
  Convert a Markdown value into Html

Visibility: public export