Yaël Dillies (Dec 22 2021 at 12:57):
doc-gen is being unhelpful on
monad instantation (eg docs#multiset.monad) by only showing
monad.mk. What's happening? Is it because docs#monad is defined so early that somehow not everything is set properly yet?
Yaël Dillies (Dec 22 2021 at 13:01):
I remember reading about that somewhere. A bootstrapping problem. Maybe Simon Hudon had written that on some docstring under
Last updated: Aug 03 2023 at 10:10 UTC