Katla.LaTeX

Functions for generating

Definitions

escapeLatex : Char -> List Char

Visibility: export

annotate : Maybe Decoration -> String -> String

Visibility: export

laTeXHeader : Config -> String

Visibility: export

standalonePre : Config -> String

Visibility: export

standalonePost : String

Visibility: export

makeMacroPre : String -> String

Visibility: export

makeMacroPost : String

Visibility: export

makeInlineMacroPre : String -> String

Visibility: export

makeInlineMacroPost : String

Visibility: export

mkDriver : Config -> Driver

Visibility: export

preambleCmd : Command "preamble"

Visibility: public export

initLatexCmd : Command "init"

Visibility: public export

preamble : ParsedCommand "preamble" preambleCmd -> IO ()

Visibility: export

init : ParsedCommand "init" initLatexCmd -> IO ()

Visibility: export