Idris2Doc : Text.PrettyPrint.Prettyprinter.Render.HTML

Text.PrettyPrint.Prettyprinter.Render.HTML

htmlEscape : String -> String