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. Transcripts are kept by Laney.

IRC client recommendations include: