<meta http-equiv="Content-Type" content="text/html; charset=utf-8"><div dir="ltr"><div dir="ltr"><div class="gmail_default" style="font-family:arial,helvetica,sans-serif;font-size:small"><br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, 18 Mar 2020 at 11:08, Michel Levy <<a href="mailto:michel.levy.imag@free.fr">michel.levy.imag@free.fr</a>> wrote:<br></div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div>The output of <br>

<div style="font-family:arial,helvetica,sans-serif;font-size:small">
$ sudo apt-get install agda-bin</div>
<div style="font-family:arial,helvetica,sans-serif;font-size:small">
$ agda --version</div>
<p>is <br>
</p>
<p>michel@M1330:~$ agda --version<br>
Agda version 2.5.3</p>
<p></p></div></blockquote></div><div class="gmail_quote"><div style="font-family:arial,helvetica,sans-serif;font-size:small" class="gmail_default">Ok.</div><div style="font-family:arial,helvetica,sans-serif;font-size:small" class="gmail_default"><br></div><div style="font-family:arial,helvetica,sans-serif;font-size:small" class="gmail_default"> After running</div><div style="font-family:arial,helvetica,sans-serif;font-size:small" class="gmail_default"><br></div><div style="font-family:arial,helvetica,sans-serif;font-size:small" class="gmail_default">$ sudo apt-get install agda-mode</div><div style="font-family:arial,helvetica,sans-serif;font-size:small" class="gmail_default">$ emacs Foo.agda</div><div style="font-family:arial,helvetica,sans-serif;font-size:small" class="gmail_default"><br></div><div style="font-family:arial,helvetica,sans-serif;font-size:small" class="gmail_default">Did you see the Agda menu in Emacs?</div><div style="font-family:arial,helvetica,sans-serif;font-size:small" class="gmail_default"><br></div><div style="font-family:arial,helvetica,sans-serif;font-size:small" class="gmail_default"></div>-- <br></div><div dir="ltr" class="gmail_signature">Andrés</div></div>