Crate agda_mode

Modules

agda	Invoke Agda in command line and interact with it via stdio.
base	Common types (used in both input/output to Agda).
cmd	Agda commands (input to Agda).
resp	Response data types (output of Agda).