Idris2Doc : Web.Html

Web.Html

(source)
Reexports
import public Web.Internal.Types
import public Web.Raw.Html
Definitions