[Agda] On IRC, Slack, Gitter, Discord, and Zulip (re: Hanging out with the Lean crowd)
Nils Anders Danielsson
nad at cse.gu.se
Mon Aug 24 11:00:42 CEST 2020
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
More information about the Agda
mailing list