[Agda] List archives

Vag Vagoff vag.vagoff at gmail.com
Fri Sep 25 16:46:50 CEST 2009


>
>  can someone verify that it worked?
Yes, it work perfectly at https://lists.chalmers.se/pipermail/agda/



More information about the Agda mailing list