Zulip Chat Archive

Stream: Zulip meta

Topic: multiple streams one topic


Matthew Ballard (Aug 04 2022 at 18:09):

Is the ability to have a single topic under multiple streams possible?

Johan Commelin (Aug 05 2022 at 04:41):

Nope, I don't think so.

Johan Commelin (Aug 05 2022 at 04:41):

What exactly do you have in mind?

Matthew Ballard (Aug 05 2022 at 12:55):

#lean4 > teaching early US ugrads f'22 is an example. It straddles two topics. The intent was for discussion of any technical issues which I why placed it #lean4 but the a lot of the content would fit #Lean for teaching .


Last updated: Dec 20 2023 at 11:08 UTC