<div dir="ltr"><div>Hi all,</div><div><br></div><div>I just posted a new blog post to <a href="https://jesper.sikanda.be/posts/literate-agda.html">https://jesper.sikanda.be/posts/literate-agda.html</a> about writing blog posts as literate Agda files. I hope some of you find it useful, and maybe even are inspired to write your own Agda blogs!<br></div><div><br></div><div>-- Jesper<br></div></div>