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

[Nils Anders Danielsson]

On 2012-11-13 17:14, Andreas Abel wrote:
>    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.)

cabal install Agda-2.3.2 --constraint='mtl == 2.1.2'

-- 
/NAD