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

See all snapshots agda-snippets-hakyll appears in

BSD-3-Clause licensed by Liam O'Connor

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
  - Hakyll.Contrib.Agda

Depends on 8 packages(full list with versions):

agda-snippets, base, directory, filepath, hakyll, network-uri, pandoc, pandoc-types

This library provides basic functions to use in Hakyll web-pages to generate colourised and hyperlinked Agda source code snippets for literate Agda documents.

It makes use of the agda-snippets library and will (hopefully) be kept up to date with the latest Agda versions.