@hackage / hakyll-agda

Wrapper to integrate literate Agda files with Hakyll

Latest0.1.13

Changelog

This release does not have a Changelog