[Agda] List archives

Robin Green greenrd at greenrd.org
Fri Sep 25 15:33:37 CEST 2009


Why are the agda list archives members-only? Will this restriction be
removed at some point?


More information about the Agda mailing list