Idris2Doc
: Text.PrettyPrint.Prettyprinter.Render.HTML
Index
Default
Alternative
Black & White
Text.PrettyPrint.Prettyprinter.Render.HTML
Definitions
htmlEscape
:
String
->
String
Visibility
:
export