<br><br><div class="gmail_quote">On Tue, Nov 13, 2012 at 7:50 AM, Cezar Ionescu <span dir="ltr"><<a href="mailto:ionescu@pik-potsdam.de" target="_blank">ionescu@pik-potsdam.de</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
Some more detail: the agda executable, which reports as version 2.3.2,<br>
gives only one response to attempts to interact, compile, or latex a<br>
file:<br>
<br>
agda: <<loop>><br>
<br></blockquote><div><br>Did you mean that something like<br><br>$ agda Foo.agda<br><br>yields agda:<<loop>> ?<br></div></div><br>-- <br>Andrés<br><br>