[Agda] [ANNOUNCE] Agda 2.6.1

[Matthew Daggitt]

Hi Mietek,
 Yup the plan is always to release the new version of the standard library
with Agda whenever the old version is incompatible. Unfortunately I had a
grant deadline yesterday so couldn't get it out immediately. Will release
it in the next few hours.
Matthew


On Tue, 17 Mar 2020, 02:53 Andrés Sicard-Ramírez, <asr at eafit.edu.co> wrote:

> On Mon, 16 Mar 2020 at 13:41, Miëtek Bak <mietek at bak.io> wrote:
> >
> > Can we make it a rule that the standard library gets a release at the
> same time as Agda?
>
> I think it isn't a good idea. Both releases procedures currently are
> complex and we don't need to add extra complexity. The team of
> standard library knew the plans for the Agda release and them we'll
> release a version of the standard library compatibles with Agda 2.6.1.
> soon.
>
> 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/20200317/05abb899/attachment.html>