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

Add mkdocs-plugin-rzk to requirements #43

Closed fizruk closed 1 year ago

fizruk commented 1 year ago

Fixes #42 :)

fizruk commented 1 year ago

Note to self: I think it would be good to build (but not publish) MkDocs to avoid such situations in the future.