邮件列表

• 这个Agda用户邮件列表用于讨论Agda的使用。列表档案可通过以下途径获得查尔默斯,纳基夫.
• 这个Agda开发人员邮件列表用于讨论《农业发展法》的实施情况。

祖利普

有一个公众Agda Zulip服务器，您可以在这里提问并讨论与Agda相关的任何内容。如果你加入，可以在#newters流中发布一些关于你自己和你对Agda的兴趣的信息。

以下内容似乎越来越不受欢迎，但仍然存在。

互联网中继聊天（IRC）

上有#agda IRC频道Libera聊天.（连接到irc.libera.聊天室：6697任何事情都会发生，只要它与阿格达有模糊的关系。历史记录日志已由Laney保管，但截至2021年似乎不再可用。

IRC客户建议包括：

• 口语（操作系统X）
• 伊朗伊斯兰共和国（Unix）
• 查兹拉（多平台，除非其中一个平台受到图形挑战）

不一致

还有一个公众Agda Discord服务器。我们鼓励人们使用Zulip而不是Discord，因为这是大多数社区的所在，其线程模型有助于异步通信。然而，Discord可以用于实时语音和视频通信以及屏幕共享，而Zulip不支持。