[Agda] [ANNOUNCE] Agda 2.6.0 release candidate 1

[Andres Sicard Ramirez]

On Fri, 15 Mar 2019 at 13:09, Sergei Meshveliani <mechvel at botik.ru> wrote:
>
> I try it on  ghc-8.6.3,  Ubuntu Linux 18.04.
>
> After installing  Agda 2.5.4.2.20190310  and
> master lib of March 15, 2019,

Please note you need the *experimental* branch of the standard library
with Agda 2.5.4.2.20190310.

Best,


-- 
Andrés