@hackage hakyll-alectryon0.1.0.0

Hakyll extension for rendering Coq code using Alectryon

Categories
- Text
- Web Development
License
MIT
Maintainer
lysxia@gmail.com
Links
Versions
- 0.1.2.0 Tue, 13 Sep 2022
- 0.1.1.0 Thu, 8 Oct 2020
- 0.1.0.0 Mon, 5 Oct 2020

An extension to write Literate Coq blog posts using Hakyll.

hakyll-alectryon extends the Hakyll site generator with the Alectryon documentation tool for Coq.

See also the README.

Installation
In your cabal file:
Dependencies (11)
- base >=4.9 && <5
- bytestring
- filepath
- mtl
- process
- text
Dependents (0)