- The Agda users mailing list is for discussions about the use of Agda. The archives of the list are available via Chalmers, Narkive.
- The Agda developers mailing list is for discussions about the implementation of Agda.
Internet Relay Chat (IRC)
There is an #agda IRC channel on FreeNode. (Connect to
chat.freenode.org.) Anything goes, as long as it's vaguely related to Agda. History logs are kept by Laney (the link contains the year, you may want to change it).
IRC client recommendations include: