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

[Nils Anders Danielsson]

On 2020-08-21 13:35, Manuel Bärenz wrote:
> I'd consider mailing lists to be quite an arcane, unscalable, closed,
> poorly searchable medium. Of course, a technologically superior
> alternative such as Discourse or Zulip would have to be installed and
> stabilised first, and ongoing discussions (and possibly the mailing list
> history) moved there.

One property of e-mail that I like is that one can choose between many
different clients. Does the same apply to any of the other communication
methods being discussed?

-- 
/NAD