
<html>

  <head>


    <meta http-equiv="content-type" content="text/html; charset=UTF-8">

  </head>

  <body>

    <p>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 :</p>

    <pre>apt-get install agda-mode

</pre>

    <p>This should install Agda and the Emacs mode.</p>

    <p>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.</p>

    <p>I have tried the other method, with cabal. But I have an error

      when I execute "cabal install Agda".</p>

    <div class="moz-signature">-- <br>

      courriel : <a class="moz-txt-link-abbreviated" href="mailto:michel.levy.imag@free.fr">michel.levy.imag@free.fr</a> <br>

      mobile : 06 59 13 42 53<br>

      web : michel.levy.imag.free.fr

    </div>

  </body>

</html>