Agda.Interaction.Highlighting.Generate

data Level

generateAndPrintSyntaxInfo

generateTokenInfo

printErrorInfo

printUnsolvedInfo

printHighlightingInfo

highlightAsTypeChecked

tests