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.2.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.2.1@sha256:9215b7e494e79b66234e0b195c938858b97443c2867cf62c4550b18c83f382c7,1439
Module documentation for 0.1.2.1
- Hakyll
- Hakyll.Contrib
Depends on 8 packages(full list with versions):