[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