<meta http-equiv="Content-Type" content="text/html; charset=utf-8"><div dir="ltr"><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sat, 19 Jun 2021 at 14:31, <<a href="mailto:mechvel@scico.botik.ru">mechvel@scico.botik.ru</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">How does the user know where it will find this file?<br clear="all"></blockquote></div><div><br></div><div><div style="font-family:arial,helvetica,sans-serif;font-size:small" class="gmail_default">You can run the following commands:</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">  $ cabal get Agda</div><div style="font-family:arial,helvetica,sans-serif;font-size:small" class="gmail_default">  $ cd Agda-2.6.2</div><div style="font-family:arial,helvetica,sans-serif;font-size:small" class="gmail_default">  $ cabal install</div></div><div><div style="font-family:arial,helvetica,sans-serif;font-size:small" class="gmail_default"></div><div style="font-family:arial,helvetica,sans-serif;font-size:small" class="gmail_default">Best,</div><div style="font-family:arial,helvetica,sans-serif;font-size:small" class="gmail_default"><br></div></div><div><br></div>-- <br><div dir="ltr" class="gmail_signature">Andrés</div></div>