[Agda] [ANNOUNCE] Agda 2.6.1

[Andrés Sicard-Ramírez]

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