@hackage hakyll-agda0.1.13

Wrapper to integrate literate Agda files with Hakyll

Categories
- Web Development
License
BSD-3-Clause
Maintainer
Francesco Mazzoli (f@mazzo.li)
Links
Versions
- 0.1.13 Mon, 12 Apr 2021
- 0.1.12 Sat, 13 Jun 2020
- 0.1.11 Wed, 2 Jan 2019
- 0.1.10.1 Sat, 21 Jan 2017
- 0.1.10 Wed, 22 Jul 2015
- 0.1.9 Sun, 14 Dec 2014

Simple module useful to generate blog posts from literate Agda files. See http://mazzo.li/posts/agda-hakyll.html for more info.

Installation
In your cabal file:
Tested Compilers
- 8.4.4
Dependencies (11)
- base >=3 && <5
- containers
- directory
- filepath
- mtl
- text
Dependents (1)
@hackage/acme-everything