Katla.Literate

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