agda-snippets-hakyll

Literate Agda support using agda-snippets, for Hakyll pages. https://github.com/liamoc/agda-snippets#readme

LTS Haskell 6.30:0.1.2.1
Stackage Nightly 2016-05-25:0.1.2.1
Latest on Hackage:0.1.2.1
BSD3 licensed by Liam O'Connor
Maintained by liamoc@cse.unsw.edu.au

Module documentation for 0.1.2.1

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.

comments powered byDisqus