Zulip Chat Archive
Stream: new members
Topic: Applying theorems to arguments
Matt Pillsbury (Dec 03 2022 at 22:55):
is there a way to delete posts? my problem was a dumb typo
Matt Diamond (Dec 03 2022 at 23:05):
I don't believe so, but you can always just delete all of the text in your post and it will show up as (deleted)
Last updated: Dec 20 2023 at 11:08 UTC