[Agda] email list reference

Sergei Meshveliani mechvel at botik.ru
Fri Aug 11 13:24:06 CEST 2017


I am looking at  http://wiki.portal.chalmers.se/agda/pmwiki.php

and do not find there a reference to the Agda e-mail list archive.

Where, please, to find it?

Thanks,

------
Sergei



More information about the Agda mailing list