Agda.Interaction.Highlighting.HTML
generateHTML
defaultCSSFile
generateHTMLWithPageGen
generatePage
page
tokenStream
code