[Agda] New blog post: Writing Agda blog posts in literate markdown

Jesper Cockx Jesper at sikanda.be
Tue Jul 9 18:35:15 CEST 2019


Hi all,

I just posted a new blog post to
https://jesper.sikanda.be/posts/literate-agda.html 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!

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


More information about the Agda mailing list