search

agda / cubical

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

remove isSet<AlgebraicStructure> accessors #1040

Closed MatthiasHu closed 1 year ago

MatthiasHu commented 1 year ago

Closes https://github.com/agda/cubical/issues/1034.

This was more tedious than I thought, but here we go.

felixwellen commented 1 year ago

Many thanks for this improvement!