[Agda] Re: Markdown and Agda

Francesco Mazzoli f at mazzo.li
Fri Apr 19 01:53:48 CEST 2013


OK, I took the time to package the code and write a few lines about it:
<http://mazzo.li/posts/agda-hakyll.html>.  Questions welcome!

Francesco




More information about the Agda mailing list