[Agda] [ANNOUNCE] Agda 2.6.1

[Herminie Pagel]

No, until now everything worked fine, but i started with 2.6.0.1...
I will check now some files that did not typecheck with the previous
version.
Great that 2.6.1 was released!

-- h

Am Di., 17. März 2020 um 16:50 Uhr schrieb Miëtek Bak <mietek at bak.io>:

> Herminie, did you have any problems installing previous Agda versions from
> Homebrew?
>
> --
> MB
>
>
> On 17 Mar 2020, at 15:49, Herminie Pagel <herminie.pagel at gmail.com> wrote:
>
> 
> 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
>>
> _______________________________________________
> 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/f332335b/attachment.html>