Idris2Doc : Text.Html

Text.Html

(source)
Reexports
import public Text.Html.Attribute as Html
import public Text.Html.Event as Html
import public Text.Html.Node as Html