[Agda] Markdown and Agda

[Francesco Mazzoli]

Hi list,

I wanted to make a literate Agda file into a blog post, so I hacked together a
thing that converts the literate file to HTML but leaving the top level comments
alone.  You can find it here:
<https://github.com/bitonic/website/blob/master/LiterateAgda.hs>.

Example result: <http://mazzo.li/posts/AgdaSort.html> (the post and blog
themselves are a WIP :).  As you can see the only ‘off’ thing is the fact that
the metadata stays—I’m trying to figure out the best way to get rid of that.

Francesco