Idris2Doc : Katla.Typst

Katla.Typst

(source)
Functions for generating highlighted typst code snippets

Definitions

escapeTypst : Char -> List Char
Visibility: export
annotate : Maybe Decoration -> String -> String
Visibility: export
typstHeader : Config -> String
Visibility: export
standalonePre : Config -> 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
preambleCommand : Command "preamble"
Visibility: public export
preamble : ParsedCommand "preamble" preambleCommand -> IO ()
Visibility: export
initTypstCommand : Command "init"
Visibility: public export
init : ParsedCommand "init" initTypstCommand -> IO ()
Visibility: export