Deprecated
In favour of
agda-snippets-hakyll
Literate Agda support using agda-snippets, for Hakyll pages.
https://github.com/liamoc/agda-snippets#readme
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.2.2@sha256:150d3e3135f9c08d4d4ef9f62c8cdbe7f9a33f65abd459a7fa222da02ba17696,1441
Module documentation for 0.1.2.2
- Hakyll
- Hakyll.Contrib
Depends on 8 packages(full list with versions):