gentoo.mahdi.cz
dev-haskell
:hakyll-agda
Wrapper to integrate literate Agda files with Hakyll
https://github.com/bitonic/hakyll-agda
hakyll-agda-0.1.13
BSD
download
~amd64
haskell