search

agda / agda-categories

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

Bump Agda to 2.6.3 and stdlib to 1.7.2 #372

Closed jpoiret closed 1 year ago

jpoiret commented 1 year ago

Hi, everything already type-checks without changes on 2.6.3/1.7.2 locally (although a CI run will increase confidence). This would also be a good spot to release a new version that is compatible with the above new versions.

HuStmpHrrr commented 1 year ago

could you maybe change the README as follows:

The current library works with Agda-2.6.3 and stdlib-1.7.2.

then we can just do a release.

jpoiret commented 1 year ago

Only just saw your comment, my bad. I've just updated the readme for a tentative 0.1.8 release, mentioning the newer Agda and stdlib versions. I also took the liberty to remove a paragraph that isn't applicable anymore.

LMKWYT

HuStmpHrrr commented 1 year ago

lgtm