hakyll-alectryon (hackage): An extension to write Literate Coq blog posts using Hakyll.  hakyll-alectryon extends the Hakyll site generator with the Alectryon documentation tool for Coq.  See also the README.
Keywords: library|mit|text|web