In favour of


Literate Agda support using agda-snippets, for Hakyll pages.

Version on this page:
LTS Haskell 6.35:
Stackage Nightly 2016-05-25:
Latest on Hackage:

See all snapshots agda-snippets-hakyll appears in

BSD-3-Clause licensed by Liam O'Connor
This version can be pinned in stack with:agda-snippets-hakyll-,1439

Module documentation for

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.