Agda.Interaction.Highlighting.Emacs

showHighlightingInfo

tests