search

agda / cubical

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

Opaque FreeCommAlgebra #1089

Open MatthiasHu opened 7 months ago

MatthiasHu commented 7 months ago

trying to make FreeCommAlgebra opaque...