Idris2Doc : Text.HTML.Extra

Text.HTML.Extra

(source)

Reexports

importpublic Text.HTML.Extra.Attribute
importpublic Text.HTML.Extra.Class
importpublic Text.HTML.Extra.Node