Deprecated
In favour of
agda-snippets-hakyll
Literate Agda support using agda-snippets, for Hakyll pages.
https://github.com/liamoc/agda-snippets#readme
Version on this page: | 0.1.1.1 |
LTS Haskell 6.35: | 0.1.2.2 |
Stackage Nightly 2016-05-25: | 0.1.2.1 |
Latest on Hackage: | 0.1.2.2 |
Maintained by [email protected]
This version can be pinned in stack with:
agda-snippets-hakyll-0.1.1.1@sha256:acbaa5b540d2bd0efbd047ef7f8bec5cb4ee2c8b81cfd728928dae9be1c345e8,1439
Module documentation for 0.1.1.1
- Hakyll
- Hakyll.Contrib
Depends on 8 packages(full list with versions):