@hackage agda-snippets-hakyll0.1.2.2
Literate Agda support using agda-snippets, for Hakyll pages.
Categories
License
BSD-3-Clause
Maintainer
liamoc@cse.unsw.edu.au
Links
Versions
Deprecated
Dependencies (8)
- base >=4.7 && <4.10
- directory >=1.2 && <1.4
- filepath >=1.3 && <1.5
- agda-snippets >=2.4.2.4
- hakyll >=4.6 && <4.10
- network-uri >=2.6 && <2.7 Show all…
Dependents (1)
@hackage/acme-everything
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.