hakyll-agda

Simple module useful to generate blog posts from literate Agda files. See http://mazzo.li/posts/agda-hakyll.html for more info.