[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