@hackage hakyll-agda0.1.7

Wrapper to integrate literate Agda files with Hakyll

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