Idris2Doc : Katla.Literate

Katla.Literate

(source)
LaTeX rendering of fenced idris codeblocks in literate tex files

Definitions

initStyFile : IO ()
Visibility: export
makeMacroPre : String -> String
Visibility: export
makeMacroPost : String
Visibility: export
mkDriver : Config -> Driver
Visibility: export
initLiterateCmd : Command "init"
Visibility: public export
init : ParsedCommand "init" initLiterateCmd -> IO ()
Visibility: export
initSty : Config -> IO ()
Visibility: export