Idris2Doc : Katla.CLI

Katla.CLI

Reexports

importpublic Collie

Definitions

inlineCmd : Command"inline"
Visibility: export
macroCmd : Command"macro"
Visibility: export
markdownCmd : Command"markdown"
Visibility: export
literateCmd : Command"literate"
Visibility: export
htmlCmd : Command"html"
Visibility: export
latexCmd : Command"latex"
Visibility: export
katlaCmd : Command"katla"
Visibility: export
katlaExec : katlaCmd~~>IO ()
Visibility: export