chore: Moving files about globular types to a new namespace#1223
Merged
EgbertRijke merged 6 commits intoUniMath:masterfrom EgbertRijke:globular-namespaceNov 17, 2024
+141-129
Commits
Commits on Nov 16, 2024
- committed
- committed
- committed
Commits on Nov 17, 2024
- committed
- committed
- committed