[Agda] [ANNOUNCE] Agda 2.6.0 release candidate 1

Andres Sicard Ramirez asr at eafit.edu.co
Sun Mar 17 17:03:36 CET 2019


On Sat, 16 Mar 2019 at 23:14, Jason -Zhong Sheng- Hu
<fdhzs2010 at hotmail.com> wrote:
>
> A minor question: why the version of 2.6.0 RC remains 2.5.4.2 instead of naming it closer to what it is?
>

Because

RC version = current released version + date



-- 
Andrés


More information about the Agda mailing list