Stream: Hydras & Co. universe

Topic: Coq'Art part of the universe?


view this post on Zulip Karl Palmskog (Sep 23 2022 at 08:53):

Do we think that Coq'Art is part of the Hydras & Co. universe? Or does conversations about Coq'Art go into the coq-community stream?

view this post on Zulip Karl Palmskog (Sep 23 2022 at 09:42):

coq-community stream is already fairly low-traffic, and coq-art stream may be expected to be that too. @Théo Zimmermann thoughts on adding another stream? I'd lean towards using coq-community stream.


Last updated: Feb 22 2024 at 05:02 UTC