hakyll-agda (hackage): Hakyll support for Agda literate files
Keywords: bsd3|library|web