[Agda-dev] New bug tracker for Agda
Andrés Sicard-Ramírez
asr at eafit.edu.co
Mon Aug 10 00:58:03 CEST 2015
Hi,
Please continue reporting or modifying the issues in
https://github.com/agda/agda/issues
Best,
--
Andrés
More information about the Agda-dev
mailing list