Agda.Interaction.Highlighting.Emacs

Functions which give precise syntax highlighting info to Emacs.

Documentation

lispifyHighlightingInfo

Arguments

:: HighlightingInfo

-> ModuleToSource

Must contain a mapping for every definition site's module.

-> TCM (Lisp String)

Turns syntax highlighting information into a list of S-expressions.

tests :: IO Bool

All the properties.