search

rzk-lang / sHoTT

Formalisations for simplicial HoTT and synthetic ∞-categories.
https://rzk-lang.github.io/sHoTT/
44 stars 12 forks source link

updated a Yoneda to sHoTT in the style guide #28

Closed emilyriehl closed 1 year ago

emilyriehl commented 1 year ago

The style guide refers to the "Yoneda" project. I've updated this to the "sHoTT" project.