[Agda] [ANNOUNCE] Agda 2.6.2

[Andrés Sicard-Ramírez]

On Sat, 19 Jun 2021 at 14:31, <mechvel at scico.botik.ru> wrote:

> How does the user know where it will find this file?
>

You can run the following commands:

  $ cabal get Agda
  $ cd Agda-2.6.2
  $ cabal install
Best,


-- 
Andrés
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20210619/46e92e96/attachment.html>