<div style="font-family: Arial, sans-serif; font-size: 14px;">Dear Agda folks,</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 happy to announce the official release of agda2hs version 1.1. You can find it on Hackage at <span><a target="_blank" rel="noreferrer nofollow noopener" href="https://hackage.haskell.org/package/agda2hs-1.1">https://hackage.haskell.org/package/agda2hs-1.1</a></span>, or on Github at <span><a target="_blank" rel="noreferrer nofollow noopener" href="https://github.com/agda/agda2hs/tree/v1.1">https://github.com/agda/agda2hs/tree/v1.1</a></span>. The most important update is compatibility with Agda 2.6.4, but there also have been a couple of other updates and bugfixes. You can find the changelog at <span><a target="_blank" rel="noreferrer nofollow noopener" href="https://hackage.haskell.org/package/agda2hs-1.1/changelog">https://hackage.haskell.org/package/agda2hs-1.1/changelog</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;">Best regards,</div><div style="font-family: Arial, sans-serif; font-size: 14px;">Jesper<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>