[Agda] Problems with emacs agda-mode after upgrading to 2.3.2

[raichoo]

On Nov 13, 2012 5:36 PM, "Cezar Ionescu" <ionescu at pik-potsdam.de> wrote:
>
> Thanks, it works now.

Same here. Thanks a lot :)
>
> >   cabal install mtl-2.1.2
> >   cabal install Agda
> >
> > should fix this.  (Maybe you have to remove mtl-2.1 before, which is a
> > good idea anyway.)
>
> Right, I did need to remove mtl manually.  Merely installing the newer
> version and then Agda didn't work.
>
> Best,
> Cezar.
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20121113/a7b32de3/attachment.html