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

[Andrés Sicard-Ramírez]

On Tue, Nov 13, 2012 at 7:50 AM, Cezar Ionescu <ionescu at pik-potsdam.de>wrote:

>
> 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>>
>
>
Did you mean that something like

$ agda Foo.agda

yields agda:<<loop>> ?

-- 
Andrés
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20121113/ecdb94cf/attachment.html