Agda.Interaction.Highlighting.Common

Common syntax highlighting functions for Emacs and JSON

valuetoAtoms :: Aspects -> [String]

Converts the aspect and otherAspects fields to strings that are friendly to editors.

valuechooseHighlightingMethod

Choose which method to use based on HighlightingInfo and HighlightingMethod