<div style="font-family: Arial; font-size: 14px;">Hi Agda folks,</div><div style="font-family: Arial; font-size: 14px;"><br></div><div style="font-family: Arial; font-size: 14px;">I've just published a new blog post about agda2hs, a tool that originated from some of the previous Agda meetings and we recently presented at the Haskell Symposium. You can read the post here: <span><a target="_blank" rel="noreferrer nofollow noopener" href="https://jesper.sikanda.be/posts/agda2hs.html">https://jesper.sikanda.be/posts/agda2hs.html</a>. I'm very curious to hear if you have any ideas or applications of the tool!</span></div><div style="font-family: Arial; font-size: 14px;"><span><br></span></div><div style="font-family: Arial; font-size: 14px;"><span>-- Jesper<br></span></div>
<div class="protonmail_signature_block protonmail_signature_block-empty" style="font-family: Arial; 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>