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

Render STYLEGUIDE on the website #62

Closed fizruk closed 11 months ago

fizruk commented 11 months ago

Closes #32. We will not typecheck the STYLEGUIDE in this project.