The latest version of hakyll-alectryon is 0.1.2.0-0.
hakyll-alectryon
Version 0.1.1.0 revision 0 uploaded by lyxia.
Package meta
- Synopsis
- Hakyll extension for rendering Coq code using Alectryon
- 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.
- Author
- Li-yao Xia
- Bug reports
- https://gitlab.com/lysxia/hakyll-alectryon/-/issues
- Category
- Text, Web
- Copyright
- Li-yao Xia 2020
- Homepage
- https://gitlab.com/lysxia/hakyll-alectryon
- Maintainer
- lysxia@gmail.com
- Package URL
- n/a
- Stability
- n/a