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

Safe HaskellNone
LanguageHaskell98

Agda.Interaction.Highlighting.Emacs

Description

Functions which give precise syntax highlighting info to Emacs.

Synopsis

Documentation

lispifyHighlightingInfo Source

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 Source

All the properties.