Agda-2.2.10: A dependently typed functional programming language and proof assistant

Agda.Interaction.Highlighting.Emacs

Description

Functions which give precise syntax highlighting info to Emacs.

Synopsis

Documentation

showHighlightingInfo

Arguments

:: Maybe (HighlightingInfo, ModuleToSource)

The ModuleToSource must contain a mapping for every definition site's module.

-> String 

Shows syntax highlighting information in an Emacsy fashion.

tests :: IO Bool

All the properties.