Idris2Doc
: Text.Markdown.Format.Html
Index
Default
Alternative
Black & White
Text.Markdown.Format.Html
(
source
)
Definitions
toHtml
:
Markdown
->
String
Convert a Markdown value into Html
Visibility
:
public export