Idris2Doc : Text.HTML

Text.HTML

(source)
Reexports
import public Text.HTML.Attribute
import public Text.HTML.Event
import public Text.HTML.Node
import public Text.HTML.Ref
import public Text.HTML.Tag