Idris2Doc : Text.PrettyPrint.Prettyprinter.Render.HTML

Text.PrettyPrint.Prettyprinter.Render.HTML

Definitions

htmlEscape : String->String
Visibility: export