[Agda] Re: [ANNOUNCE] Agda 2.5.1 release candidate 2

Andrés Sicard-Ramírez asr at eafit.edu.co
Wed Apr 13 17:51:24 CEST 2016


On 13 April 2016 at 10:34, Andrés Sicard-Ramírez <asr at eafit.edu.co> wrote:
> Fixed issues after Agda 2.5.1 RC 1
> ==================================
>
> Approximately 40 bugs/regressions were fixed

I meant, approximately 40 bugs/enhancements were fixed/done

-- 
Andrés


More information about the Agda mailing list