[Agda] On IRC, Slack, Gitter, Discord, and Zulip (re: Hanging out with the Lean crowd)
Jorge Blázquez Saborido
don at jorgebs.es
Wed Aug 26 14:41:22 CEST 2020
I think Matrix (the protocol) already supports threads, but it isn't implemented in any client yet. Here[https://github.com/vector-im/element-web/issues/2349] is the relevant issue for Element.
I would go with Matrix, since with that feature it will have all the advantages of Zulip without the disadvantages.
Regards,
Jorge Blázquez Saborido
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20200826/152d63b8/attachment.html>
More information about the Agda
mailing list