Topic: index pages in doc-gen
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.
Patrick Massot (Sep 28 2020 at 20:41):
I think it would be pretty easy, all the information is already there.
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