search

agda / agda-categories

A new Categories library for Agda
https://agda.github.io/agda-categories
MIT License
366 stars 68 forks source link

Support stdlib 2.0 #405

Closed turion closed 9 months ago

turion commented 9 months ago

Agda stdlib 2.0 has recently been released, but unfortunately agda-categories doesn't compile with it. Maybe this can be fixed easily?

Taneb commented 9 months ago

See also https://github.com/agda/agda-categories/pull/352.

I think we might be blocked by https://github.com/agda/agda-stdlib/issues/2228 for updating Setoids.

turion commented 9 months ago

I think we might be blocked by https://github.com/agda/agda-stdlib/issues/2228 for updating Setoids.

Ah, that would mean that there would be no agda-categories release for agda-stdlib 2.0?

JacquesCarette commented 9 months ago

There will definitely be a release of agda-categories for 2.0. We might have to create a few now-missing functions to do it, but it will happen!

JacquesCarette commented 9 months ago

@turion : it's coming - #406 now typechecks. It still needs cleaned up, but I don't expect that will take too long.