agda-categories should list compatibility versions on README

agda / agda-categories

A new Categories library for Agda

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

MIT License

359 stars 67 forks source link

agda-categories should list compatibility versions on README #414

Open Boarders opened 3 months ago

Boarders commented 3 months ago

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

JacquesCarette commented 3 months ago

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.]