Zulip Chat Archive

Stream: general

Topic: Docs show overly simplistic theorem statement

Eric Wieser (Sep 27 2020 at 11:55):

Just looked at docs#module_ext - the version visible in the docs has the same LHS and RHS, since the instance annotations are missing.

Bryan Gin-ge Chen (Sep 27 2020 at 15:46):

Please open an issue for this in the doc-gen repo. Github is generally a better place to track bugs like this than Zulip.

Eric Wieser (Sep 27 2020 at 16:49):


Last updated: Dec 20 2023 at 11:08 UTC