Stream: Hydras & Co. universe

Topic: Coq'Art part of the universe?

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?

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: Jun 11 2023 at 01:30 UTC