agda-categories icon indicating copy to clipboard operation
agda-categories copied to clipboard
verified publisher icon agda

agda-categories should list compatibility versions on README

Open Boarders opened this issue 1 year ago • 1 comments

Similar to the cubical library it would be nice if agda-categories listed the compatibilities of the versions of agda it works with. See the compiling and installing section of this README: https://github.com/agda/cubical

Boarders avatar Apr 04 '24 20:04 Boarders

Agreed. I'd welcome a PR that documented that. [I just know I might not get the time to do this for a couple of weeks.]

JacquesCarette avatar Apr 05 '24 14:04 JacquesCarette