v0.2.6.2.2

What's Changed

• [ update ] Bump Agda to 2.6.2.1 by @L-TChen in #9
• Use recent text-icu to allow build on Mac M1 by @FranklinChen in #10
• [ update ] Bump Agda to 2.6.2.2 by @mildsunrise in #12
• CI overhaul and fix build with cabal by @andreasabel in #16
• Build with lsp-1.4 (stackage lts-19.33) by @andreasabel in #17
• Change versioning scheme to x.agda-version.y by @andreasabel in #18
• CI caching: include resolver in the cache key by @andreasabel in #19

New Contributors

• @L-TChen made their first contribution in #9
• @FranklinChen made their first contribution in #10
• @mildsunrise made their first contribution in #12
• @andreasabel made their first contribution in #16

Full Changelog: v0.2.1...v0.2.6.2.2