[Agda] Blog post about agda2hs

[Jesper Cockx]

Hi Agda folks,

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: https://jesper.sikanda.be/posts/agda2hs.html. I'm very curious to hear if you have any ideas or applications of the tool!


-- Jesper
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20221006/124c66ba/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/20221006/124c66ba/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/20221006/124c66ba/attachment.sig>