Agda.Interaction.Highlighting.Generate

data Level

generateAndPrintSyntaxInfo

generateTokenInfo

generateTokenInfoFromString

printErrorInfo

errorHighlighting

printUnsolvedInfo

printHighlightingInfo

highlightAsTypeChecked

computeUnsolvedMetaWarnings

computeUnsolvedConstraints

storeDisambiguatedName

tests