[Agda] [ANNOUNCE] Agda 2.5.3 release candidate 1

Sergei Meshveliani mechvel at botik.ru
Fri Aug 18 11:02:11 CEST 2017


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



More information about the Agda mailing list