v0.2.6.4.0.3

Full Changelog: v0.2.6.4.0.2...v0.2.6.4.0.3

v0.2.6.4.0.2

Full Changelog: v0.2.6.4.0.1...v0.2.6.4.0.2

v0.2.6.4.0.1

Full Changelog: v0.2.6.4.0.0...v0.2.6.4.0.1

v0.2.6.4.0.0

Full Changelog: v0.2.6.3.0...v0.2.6.4.0.0

v0.2.6.3.0

What's Changed

• v0.2.6.3.0 Build with and embed Agda-2.6.3 by @andreasabel in #21

Full Changelog: v0.2.6.2.2.1...v0.2.6.3.0

v0.2.6.2.2.1

What's Changed

• v0.2.6.2.2.1: Build with lsp-1.6 on GHC 9.2 and LTS 20.26 by @andreasabel in #20

Full Changelog: v0.2.6.2.2...v0.2.6.2.2.1

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

v0.2.1

[ change ][ ci ] Cache DLLs on Mac

v0.2.0

[ doc ] Bump version & update CHANGELOG

v0.1.4

[ fix ] Make the DLL linking idempotent