chore: Janitorial work in foundation

UniMath / agda-unimath

The agda-unimath library

https://unimath.github.io/agda-unimath/

MIT License

222 stars 71 forks source link

Closed fredrik-bakke closed 8 months ago

fredrik-bakke commented 8 months ago

This is a follow-up to #1085 with changes from #1032.

fredrik-bakke commented 8 months ago

I've addressed your comments now @VojtechStep. Let me know if it is mergeable!

VojtechStep commented 8 months ago

It is very mergeable.