Katla.Markdown

HTML rendering of fenced idris codeblocks in markdown files

Definitions

escapeMarkdown : Config -> Char -> List Char

Visibility: export

standalonePre : Config -> String

Visibility: export

mkDriver : Config -> Driver

Visibility: export

initMarkdownCmd : Command "init"

Visibility: public export

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

Visibility: export