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

[Nils Anders Danielsson]

On 2020-08-21 14:41, Manuel Bärenz wrote:
> 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?

I think something based on an open standard sounds more appealing than
something closed (everything else being equal).

-- 
/NAD