HTML rendering of fenced idris codeblocks in markdown files
escapeMarkdown : Config -> Char -> List Char
standalonePre : Config -> String
mkDriver : Config -> Driver
initMarkdownCmd : Command "init"
init : ParsedCommand "init" initMarkdownCmd -> IO ()