homepage: https://gitlab.com/lysxia/hakyll-alectryon
changelog-type: markdown
hash: d4b77471f4a6944323bfbbd752a33468057ec4f2ad1a5fbaa536d20255ef9da2
test-bench-deps: {}
maintainer: lysxia@gmail.com
synopsis: Hakyll extension for rendering Coq code using Alectryon
changelog: |2

  # 0.1.0.0

  * Create hakyll-alectryon
basic-deps:
  bytestring: -any
  base: '>=4.9 && <5'
  text: -any
  filepath: -any
  process: -any
  pandoc-types: -any
  pandoc: -any
  mtl: -any
  optparse-applicative: -any
  hakyll: '>=4'
  aeson: -any
all-versions:
- 0.1.0.0
author: Li-yao Xia
latest: 0.1.0.0
description-type: haddock
description: |-
  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.
license-name: MIT

Update from Hackage at 2020-10-05T17:02:01Z
Update from Hackage at 2020-10-05T17:02:01Z
