[Agda] On IRC, Slack, Gitter, Discord, and Zulip (re: Hanging out with the Lean crowd)

Manuel Bärenz manuel at enigmage.de
Fri Aug 21 14:41:10 CEST 2020


> One property of e-mail that I like is that one can choose between many
> different clients.

Would an alternative with a good email integration (i.e. read threads by
receiving email, answer & start threads by sending an email) work for you?




More information about the Agda mailing list