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