@hackage / hakyll-agda

Wrapper to integrate literate Agda files with Hakyll

0.1.13

Version history