[Agda] Re: Markdown and Agda

Francesco Mazzoli f at mazzo.li
Tue Apr 2 12:36:16 CEST 2013

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.

More information about the Agda mailing list