agda / agda-stdlib

The Agda standard library
https://wiki.portal.chalmers.se/agda/Libraries/StandardLibrary
Other
561 stars 234 forks source link

Tighten imports, last big versoin #2347

Closed JacquesCarette closed 2 months ago

JacquesCarette commented 2 months ago

For quite a few Data.X imports, Data.X.Base was enough -- and this tends to help quite a bit with the dependencies, as Data.X often imports Data.X.Properties, which usually imports a lot of stuff. (Cutting that down is a 3.0 job).