[Agda] Problems with emacs agda-mode after upgrading to 2.3.2

Cezar Ionescu ionescu at pik-potsdam.de
Tue Nov 13 13:50:46 CET 2012

Andrés Sicard-Ramírez wrote:

>    I couldn't reproduce the issue using the same version of Emacs in
>    Ubuntu.
>    Which is the output of running the command
>    $ agda-mode locate
>    ?

In my case, 

Some more detail: the agda executable, which reports as version 2.3.2,
gives only one response to attempts to interact, compile, or latex a

agda: <<loop>>


More information about the Agda mailing list