search

emilyriehl / yoneda

comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories
http://emilyriehl.github.io/yoneda/
60 stars 6 forks source link

Use mkdocs-plugin-rzk to anchor definitions #42

Closed fizruk closed 1 year ago

fizruk commented 1 year ago

With mkdocs-plugin-rzk extension, you can now click on the name of a definition to get a link to it (useful to reference specific definitions):

Screenshot 2023-09-06 at 12 10 56
fizruk commented 1 year ago

I will merge this one immediately for it to take effect in the generated docs.