[Agda] failure of cabal install Agda

Andrés Sicard-Ramírez asr at eafit.edu.co
Wed Mar 18 18:24:12 CET 2020


On Wed, 18 Mar 2020 at 11:08, Michel Levy <michel.levy.imag at free.fr> wrote:


> The output of
> $ sudo apt-get install agda-bin
> $ agda --version
>
> is
>
> michel at M1330:~$ agda --version
> Agda version 2.5.3
>
> Ok.

After running

$ sudo apt-get install agda-mode
$ emacs Foo.agda

Did you see the Agda menu in Emacs?

-- 
Andrés
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20200318/66f3c4bd/attachment.html>


More information about the Agda mailing list