<div style="font-family: Arial, sans-serif; font-size: 14px;">Dear all,</div><div style="font-family: Arial, sans-serif; font-size: 14px;"><br></div><div style="font-family: Arial, sans-serif; font-size: 14px;">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 <span><a target="_blank" rel="noreferrer nofollow noopener" href="https://hackage.haskell.org/package/agda2hs-1.0">https://hackage.haskell.org/package/agda2hs-1.0</a></span> or on a cabal package manager near you. The official documentation can be found at <span><a target="_blank" rel="noreferrer nofollow noopener" href="https://agda.github.io/agda2hs/">https://agda.github.io/agda2hs/</a></span>, and more details about the motivation and design are available in our paper at the Haskell Symposium: <span><a target="_blank" rel="noreferrer nofollow noopener" href="https://dl.acm.org/doi/10.1145/3546189.3549920">https://dl.acm.org/doi/10.1145/3546189.3549920</a></span>.</div><div style="font-family: Arial, sans-serif; font-size: 14px;"><br></div><div style="font-family: Arial, sans-serif; font-size: 14px;">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 <span><a target="_blank" rel="noreferrer nofollow noopener" href="https://github.com/agda/agda2hs/issues">https://github.com/agda/agda2hs/issues</a></span>. 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.</div><div style="font-family: Arial, sans-serif; font-size: 14px;"><br></div><div style="font-family: Arial, sans-serif; font-size: 14px;">Best regards,</div><div style="font-family: Arial, sans-serif; font-size: 14px;">Jesper Cockx<br></div>
<div class="protonmail_signature_block protonmail_signature_block-empty" style="font-family: Arial, sans-serif; font-size: 14px;">
    <div class="protonmail_signature_block-user protonmail_signature_block-empty">
        
            </div>
    
            <div class="protonmail_signature_block-proton protonmail_signature_block-empty">
        
            </div>
</div>