Zulip Chat Archive

Stream: general

Topic: index pages in doc-gen


view this post on Zulip Yury G. Kudryashov (Sep 28 2020 at 20:40):

Would it be hard to have some doxygen-like index pages on the docs website? E.g., an alphabetical list of all typeclasses, each of them links to a page with the list of all known instances.

view this post on Zulip Patrick Massot (Sep 28 2020 at 20:41):

I think it would be pretty easy, all the information is already there.

view this post on Zulip Rob Lewis (Sep 28 2020 at 20:46):

Yes, this is easy enough. Every class already lists its instances. docs#has_add


Last updated: May 13 2021 at 21:12 UTC