Idris2Doc : Katla.CLI
Reexports
import public 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