[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, 
/home/ionescu/.cabal/share/Agda-2.3.2/emacs-mode/agda2.el

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
file:

agda: <<loop>>

Best,
Cezar.


More information about the Agda mailing list