Idris2Doc : Katla.Typst

Katla.Typst

(source)
Functions for generating highlighted typst code snippets

Definitions

escapeTypst : Char->ListChar
Visibility: export
annotate : MaybeDecoration->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