search

rzk-lang / sHoTT

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

typo in mkdocs.yaml #139

Closed TashiWalde closed 1 year ago

TashiWalde commented 1 year ago

A one-line change to address a typo in mkdocs.yaml which prevents the page "Right orthogonal fibrations" from being shown on the website.