[Agda] [ANNOUNCE] Agda 2.6.1

Miëtek Bak mietek at bak.io
Tue Mar 17 16:50:34 CET 2020


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/94ea4f0f/attachment.html>


More information about the Agda mailing list