[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