Sign up for Zulip

Agda
https://agda.zulipchat.com

For anyone who wants to discuss something related to the Agda proof assistant.

You need an invitation to join this organization.
OR