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

[Georgi Lyubenov]

Hi!

I'm also obviously not an active community member, but I want to share that
I had:
* not-so-good experience with discord for teaching communication - lack of
threads sucks for long-running discussions and it's also non-trivial to
create specialised rooms (by default everyone is included in every chat
channel, if it's created public).
* good experience with zulip (compared to slack) from the aforementioned
functional programming zulip instance (funprog) - threads are bumped when
posting to them, there is some kind of latex support, zulip are open to
supporting the community (e.g. they have with the funprog one by providing
a free plan which is usually paid), it's open source

======
Georgi
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20200821/3d58a68e/attachment.html>