<p dir="ltr"><br>
On Nov 13, 2012 5:36 PM, &quot;Cezar Ionescu&quot; &lt;<a href="mailto:ionescu@pik-potsdam.de">ionescu@pik-potsdam.de</a>&gt; wrote:<br>
&gt;<br>
&gt; Thanks, it works now.</p>
<p dir="ltr">Same here. Thanks a lot :)<br>
&gt;<br>
&gt; &gt;   cabal install mtl-2.1.2<br>
&gt; &gt;   cabal install Agda<br>
&gt; &gt;<br>
&gt; &gt; should fix this.  (Maybe you have to remove mtl-2.1 before, which is a<br>
&gt; &gt; good idea anyway.)<br>
&gt;<br>
&gt; Right, I did need to remove mtl manually.  Merely installing the newer<br>
&gt; version and then Agda didn&#39;t work.<br>
&gt;<br>
&gt; Best,<br>
&gt; Cezar.<br>
&gt; _______________________________________________<br>
&gt; Agda mailing list<br>
&gt; <a href="mailto:Agda@lists.chalmers.se">Agda@lists.chalmers.se</a><br>
&gt; <a href="https://lists.chalmers.se/mailman/listinfo/agda">https://lists.chalmers.se/mailman/listinfo/agda</a><br>
</p>