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