Agda.Interaction.Highlighting.Generate

generateSyntaxInfo

generateErrorInfo

tests