Idris2Doc : Libraries.Text.PrettyPrint.Prettyprinter.Render.HTML

Libraries.Text.PrettyPrint.Prettyprinter.Render.HTML

(source)
Definitions
htmlEscape : String -> String
  Visibility: export