[Agda] Agda2hs 1.3 release

[Jesper Cockx]

Dear all,

I'm happy to announce the official release of agda2hs 1.3. You can find the release on Hackage at https://hackage.haskell.org/package/agda2hs-1.3 or on Github at https://github.com/agda/agda2hs/tree/v1.3.

Agda2hs is an Agda backend for producing verified and readable Haskell code by extracting it from a (lightly annotated) Agda program. This release updates the base version of Agda to 2.7, adds several new features to fine-tune which arguments are erased during extraction, provides additional library functionality, and fixes several bugs. You can find a full list of changes at https://hackage.haskell.org/package/agda2hs-1.3/changelog and a list of fixed bugs at https://github.com/agda/agda2hs/issues?q=milestone%3A1.3+is%3Aissue+label%3Abug.

Happy hacking,
Jesper
-------------- next part --------------
A non-text attachment was scrubbed...
Name: publickey - jesper at sikanda.be - 0x42DD5655.asc
Type: application/pgp-keys
Size: 644 bytes
Desc: not available
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20241004/f69ad643/attachment.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 249 bytes
Desc: OpenPGP digital signature
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20241004/f69ad643/attachment.sig>