At some point, possibly coinciding with the Gatlab integration, all the GATs in the standard library stopped appearing in the API docs (@autodocs in Documenter).
I don't know why. My current guess is that each theory is a submodule of Catlab.Theories and Documenter wants each submodule to be listed manually. If that is the case, it is infeasible for us since we now have ~100 GATs in the standard library.
At some point, possibly coinciding with the Gatlab integration, all the GATs in the standard library stopped appearing in the API docs (
@autodocs
in Documenter).I don't know why. My current guess is that each theory is a submodule of
Catlab.Theories
and Documenter wants each submodule to be listed manually. If that is the case, it is infeasible for us since we now have ~100 GATs in the standard library.