search

agda / cubical

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

'congR' and 'congL' #1064

Closed eqNat closed 9 months ago

eqNat commented 10 months ago

My goal is to make the equality chaining syntax less verbose.

ecavallo commented 9 months ago

OK by me.