[Agda] package agda-mode not working
Michel Levy
michel.levy.imag at free.fr
Wed Mar 18 13:18:05 CET 2020
I try to install the Agda prover on my laptop on Ubuntu 18.0, by
installing the package agda-mode. In your documentation, it is written :
apt-get install agda-mode
This should install Agda and the Emacs mode.
But this package does not work : I don't see the commands agda and
agda-mode and the mode emacs agda is not activated when I load in emacs
the file f.agda.
I have tried the other method, with cabal. But I have an error when I
execute "cabal install Agda".
--
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/7b9d5eb9/attachment.html>
More information about the Agda
mailing list