Agda.Interaction.Highlighting.Generate
generateSyntaxInfo
generateErrorInfo
tests