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

Nils Anders Danielsson nad at chalmers.se
Tue Nov 13 14:16:23 CET 2012


On 2012-11-13 14:03, Andrés Sicard-Ramírez wrote:
> Did you mean that something like
>
> $ agda Foo.agda
>
> yields agda:<<loop>> ?

If that's the case, then I'd like to have some information, if possible:

* The file that causes the problem.
* The output of "cabal install Agda-2.3.2 --dry-run -v3".

-- 
/NAD



More information about the Agda mailing list