[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