@hackage agda-snippets-hakyll0.1

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

Categories
License
BSD-3-Clause
Maintainer
liamoc@cse.unsw.edu.au
Links
Versions
- 0.1.2.2 Sun, 4 Jun 2017
- 0.1.2.1 Wed, 20 Apr 2016
- 0.1.2.0 Tue, 19 Apr 2016
- 0.1.1.1 Sun, 8 Nov 2015
- 0.1.1 Sat, 7 Nov 2015
- 0.1 Sat, 7 Nov 2015

Deprecated
This package has been deprecated in favour of
- @hackage/Agda
Dependencies (8)
- base >=4.7 && <4.9
- directory >=1.2 && <1.3
- filepath >=1.3 && <1.5
- agda-snippets >=2.4.3
- hakyll >=4.6 && <4.8
- network-uri >=2.6 && <2.7
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.

@hackage agda-snippets-hakyll0.1

Categories

License

Maintainer

Links

Versions

Deprecated

Dependencies (8)

Dependents (1)