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