Zulip Chat Archive
Stream: general
Topic: docs for statements using @
Patrick Massot (Aug 16 2020 at 00:03):
I just noticed that some statements are unreadable in the docswebsite because they use @
: docs#is_open_coinduced doesn't make any sense until you jump to GitHub source.
Last updated: Aug 03 2023 at 10:10 UTC