setup-agda icon indicating copy to clipboard operation
setup-agda copied to clipboard
verified publisher icon wenkokke

Support std-lib 2.2

Open andreasabel opened this issue 8 months ago • 0 comments

Great if you could support v2.2 of the standard library: https://wiki.portal.chalmers.se/agda/Libraries/StandardLibrary

Also, support for Agda 2.7.0.1 has not been released:

  • #223

I could help with pushing tags if you give me write access.

andreasabel avatar May 15 '25 16:05 andreasabel