search

agda / cubical

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

Revert "Added Braided, Symmetric and Closed Monoidal Categories" #1019

Closed MatthiasHu closed 1 year ago

MatthiasHu commented 1 year ago

Reverts agda/cubical#947