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

Safe Haskell	Safe-Infered

Agda.Interaction.EmacsCommand

Description

Low-level code for instructing Emacs to do things

Synopsis

Documentation

data Lisp a Source

Simple Emacs Lisp expressions.

Constructors

A a	Atom.
Cons (Lisp a) (Lisp a)
L [Lisp a]	List.
Q (Lisp a)

Instances

Pretty a => Show (Lisp a)
Pretty a => Pretty (Lisp a)

putResponse :: Lisp String -> IO ()Source

Writes a response command to standard output.