search

UniMath / agda-unimath

The agda-unimath library
https://unimath.github.io/agda-unimath/
MIT License
222 stars 71 forks source link

Some infrastructure for dependent globular types #1176

Closed EgbertRijke closed 2 months ago

EgbertRijke commented 2 months ago

Thanks so much for the swift review!