Agda.Interaction.Highlighting.HTML

generateHTML

defaultCSSFile

generateHTMLWithPageGen

generatePage

page

tokenStream

code