[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