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