[Agda] failure of cabal install Agda

Michel Levy michel.levy.imag at free.fr
Wed Mar 18 19:00:28 CET 2020


I don't see the Agda menu in Emacs

After running

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

But I have ALSO installed the agda package and now I see the emacs mode
Agda.

Le 18/03/2020 à 18:24, Andrés Sicard-Ramírez a écrit :
>
>
> On Wed, 18 Mar 2020 at 11:08, Michel Levy <michel.levy.imag at free.fr
> <mailto: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
-- 
courriel : michel.levy.imag at free.fr
mobile : 06 59 13 42 53
web : michel.levy.imag.free.fr
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20200318/da3fc3a7/attachment.html>


More information about the Agda mailing list