search

agda / cubical

An experimental library for Cubical Agda
https://agda.github.io/cubical/Cubical.README.html
Other
446 stars 136 forks source link

Fix a minor grammar mistake in Structure.agda #1060

Closed ShreckYe closed 11 months ago

mortberg commented 11 months ago

Nice catch!