issues
search
rzk-lang
/
sHoTT
Formalisations for simplicial HoTT and synthetic ∞-categories.
https://rzk-lang.github.io/sHoTT/
44
stars
12
forks
source link
typo in the readme
#127
Closed
TashiWalde
closed
1 year ago
TashiWalde
commented
1 year ago
layed out -> laid out
layed out -> laid out