[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