[Agda] [ANNOUNCE] Agda 2.6.0 release candidate 1

[Jason -Zhong Sheng- Hu]

A minor question: why the version of 2.6.0 RC remains 2.5.4.2 instead of naming it closer to what it is?

Sincerely Yours,

Jason Hu
________________________________
From: Agda <agda-bounces at lists.chalmers.se> on behalf of Andres Sicard Ramirez <asr at eafit.edu.co>
Sent: March 15, 2019 3:06 PM
To: Sergei Meshveliani
Cc: Agda users
Subject: Re: [Agda] [ANNOUNCE] Agda 2.6.0 release candidate 1

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
_______________________________________________
Agda mailing list
Agda at lists.chalmers.se
https://lists.chalmers.se/mailman/listinfo/agda
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20190317/2463d6fd/attachment.html>