search

agda / cubical

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

Added transportIsoToPath and transportIsoToPath⁻ #1109

Closed oisdk closed 7 months ago

oisdk commented 7 months ago

This adds two simple utility functions that I found myself looking for the other day.