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