Community

Mailing Lists

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: