[Agda] Agda and Emacs mode

[Andrej Bauer]

I have a master's student who would like to write a GUI for Agda on
OSX (well, was told to do so).

I suggested that he should just hook into Agda's communication with
Emacs. Is there reasonable documentation on how Agda communicates with
Emacs?

Also, he now tells me that the Agda executable presupposes the
existence of Emacs, which I have a hard time believing.

Can someone shed some light on how realistic a project this is?

With kind regards,

Andrej