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

[Cezar Ionescu]

Thanks, it works now.

>   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.