@hackage agda-snippets-hakyll0.1.1.1

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

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.