[Agda] Re: Markdown and Agda

[Francesco Mazzoli]

Francesco Mazzoli <f <at> mazzo.li> writes:
> 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.

Just to clarify, the metadata issue is related to Hakyll, the blogging
engine that I’m using, and not to markdown.  I forgot to mention I also
wrote a function (‘pandocAgdaCompilerWith’) to make said engine work
with Agda.