[Agda] New blog post: Formalize All the Things (in Agda)

[Jesper Cockx]

Hi Agda people,

I wrote a new blog post on formalizing things in Agda:
https://jesper.sikanda.be/posts/formalize-all-the-things.html I hope you
find it useful. It is meant to be an introductory post, so let me know if
there's anything that can be clarified!

-- Jesper
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20191007/bfe848de/attachment.html>