Idris2Doc : Text.Html

Text.Html

(source)

Reexports

importpublic Text.Html.Attribute as Html
importpublic Text.Html.Event as Html
importpublic Text.Html.Node as Html