[Agda] stable version

Sergei Meshveliani mechvel at botik.ru
Wed Dec 7 10:09:49 CET 2016


Please, what is more fresh:
Development version of October 4 2016
or
Stable version  downloaded today (December 7, 2016)
?

Thanks,

------
Sergei




More information about the Agda mailing list