search

agda / cubical

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

Deduplicate subtypePathReflection #930

Closed felixwellen closed 2 years ago

felixwellen commented 2 years ago

I think I wrote this function, before I knew it already exists somewhere else.