<br><br><div class="gmail_quote">On Tue, Nov 13, 2012 at 7:50 AM, Cezar Ionescu <span dir="ltr">&lt;<a href="mailto:ionescu@pik-potsdam.de" target="_blank">ionescu@pik-potsdam.de</a>&gt;</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: &lt;&lt;loop&gt;&gt;<br>
<br></blockquote><div><br>Did you mean that something like<br><br>$ agda Foo.agda<br><br>yields agda:&lt;&lt;loop&gt;&gt; ?<br></div></div><br>-- <br>AndrĂ©s<br><br>