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

[Dr. ÉRDI Gergő]

Is there something similar targeting LaTeX? I've put a question about this
here: https://stackoverflow.com/q/58339725/477476

On Tue, Jul 9, 2019 at 6:36 PM Jesper Cockx <Jesper at sikanda.be> wrote:

> 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
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20191011/a708b48b/attachment.html>