[Agda] [ANNOUNCE] Agda 2.6.1

[Herminie Pagel]

Thank you so much, Matthew. Agda 2.6.1 is already available on Homebrew, so
I could finally install it.

-- h

Am Di., 17. März 2020 um 00:43 Uhr schrieb Matthew Daggitt <
matthewdaggitt at gmail.com>:

> 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
>>
> _______________________________________________
> 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/660bd225/attachment.html>