Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.
(Cubical) Agda Newbie