Mailing Lists

Internet Relay Chat (IRC)

There is an #agda IRC channel on FreeNode. (Connect to 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:

Page last modified on January 21, 2019, at 12:33 AM
Powered by PmWiki