Idris2Doc : Text.HTML.Extra

Text.HTML.Extra

(source)
Reexports
import public Text.HTML
import public Text.HTML.Class
import public Text.HTML.Confirm
import public Text.HTML.DomID
import public Text.HTML.File
import public Text.HTML.Select
import public Text.HTML.Validation