Idris2Doc : Text.HTML.Extra

Text.HTML.Extra

(source)
Reexports
import public Text.HTML.Extra.Attribute
import public Text.HTML.Extra.Class
import public Text.HTML.Extra.Node