@hackage hakyll-agda0.1.2

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

Installation
In your cabal file:
Dependencies (10)
- base >=3 && <5
- containers >=0.4.2 && <0.6
- directory >=1.1 && <2
- filepath >=1.3 && <2
- mtl >=2.1 && <3
- transformers >=0.3 && <0.4
Dependents (1)
@hackage/acme-everything

Simple module useful to generate blog posts from literate Agda files.

Note: Currently this package requires the development version of Hakyll, see http://mazzo.li/posts/agda-hakyll.html for more info.