[Agda] testing 2.5 candidate

Sergei Meshveliani mechvel at botik.ru
Mon Feb 15 15:23:59 CET 2016

Previous message: [Agda] sym in Agda 2.5.1
Next message: [Agda] testing 2.5 candidate
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Concerning testing the 2.5 candidate:
I have tested  Development Agda of February 15, 2016  on DoCon-A.

It looks all right.

Regards,

------
Sergei

Previous message: [Agda] sym in Agda 2.5.1
Next message: [Agda] testing 2.5 candidate
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list