[Agda] testing 2.5 candidate

Andrés Sicard-Ramírez asr at eafit.edu.co
Mon Feb 15 15:31:45 CET 2016


2016-02-15 9:23 GMT-05:00 Sergei Meshveliani <mechvel at botik.ru>:
> Concerning testing the 2.5 candidate:
> I have tested  Development Agda of February 15, 2016  on DoCon-A.
>
> It looks all right.

Great!

Thank you for your feedback!


-- 
Andrés


More information about the Agda mailing list