[Agda] [ANNOUNCE] Agda 2.6.1 release candidate 1

[Christian Sattler]

On Sun, 29 Dec 2019 at 20:11, <mechvel at scico.botik.ru> wrote:

> A> This branch is available at
> A>
> A> https://github.com/agda/agda-stdlib/
>
> But I guess this is the master branch (?).
> And how to download `experimental' ?
>

git clone https://github.com/agda/agda-stdlib/ target-directory
cd target-directory
git checkout experimental
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20191229/98d25db9/attachment.html>