[Agda] [ANNOUNCE] Agda 2.5.3 release candidate 1

[Sergei Meshveliani]

This is for the library, though (I copied it there).
 

On Fri, 2017-08-18 at 12:02 +0300, Sergei Meshveliani wrote:
> On Thu, 2017-08-17 at 03:04 -0500, Andrés Sicard-Ramírez wrote:
> > Dear all,
> > 
> > The Agda Team is very pleased to announce the first release candidate of Agda
> > 2.5.3. We plan to release 2.5.3 in one week.
> > 
> > [..]
> 
> 
> This looks like a typo in CHANGELOG.md :
> 
>    _+-mono_          ↦  *-mono-≤
>    _*-mono_          ↦  +-mono-≤
> 
> 
> ------
> Sergei
> 
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda