Eu preciso de agda e emacs instalados para uma aula que estou fazendo na minha universidade. Eu instalei o Agda 2.4 em acidente, então instalei o 2.5.2.2 usando o cabal install Agda, entretanto o comando agda-mode setup gerou o comando não encontrado.
Depois de instalar o 2.5, abrir o Terminal e digitar agda --version, ele gera Agda 2.4.2.5 mas eu preciso de Agda 2.5.2.2
Alguém tem uma ideia de como eu posso desinstalar o 2.4? Ou de alguma forma fazer 2.5 meu padrão?