[Agda] Notification: Archives now public

[Nils Anders Danielsson]

Hi,

The archives of this mailing list have now been made publicly
available online (see https://lists.chalmers.se/pipermail/agda/). All
prior and new posts can be accessed using this interface [1], and it
is likely that they will be indexed by search engines.

[1] I believe that the list management program honours the
    X-No-Archive header (http://en.wikipedia.org/wiki/X-No-Archive)
    which can be used to signal that you don't want your messages
    archived.

-- 
/NAD