[Agda] Announcement: agda2hs release v1.0

[Jesper Cockx]

Dear all,

I am very pleased to announce the first official release of agda2hs, a tool for producing verified and readable Haskell code by extracting it from a (lightly annotated) Agda program. You can find it at https://hackage.haskell.org/package/agda2hs-1.0 or on a cabal package manager near you. The official documentation can be found at https://agda.github.io/agda2hs/, and more details about the motivation and design are available in our paper at the Haskell Symposium: https://dl.acm.org/doi/10.1145/3546189.3549920.

This release is just a first step for agda2hs into the wider world and we have many exciting features that will be added in the future. If you want to report a bug or a feature request, you can do so at https://github.com/agda/agda2hs/issues. We are also open to contributions by new developers, feel free to contact me via email or on Zulip if you have any questions about this.

Best regards,
Jesper Cockx
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20230407/41083cf4/attachment.html>
-------------- 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/20230407/41083cf4/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/20230407/41083cf4/attachment.sig>