search

agda / cubical

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

·Int≡· #1039

Closed timorl closed 1 year ago

timorl commented 1 year ago

Natural continuation of #1028 . It follows the same pattern (post-review ofc) and exists for the same reason, so I suspect it shouldn't be controversial.

felixwellen commented 1 year ago

Yes, that's good to have and uncontroversial.