The latest version of hakyll-agda is 0.1.13-0.
hakyll-agda
Version 0.1.5 revision 0 uploaded by FrancescoMazzoli.
Package meta
- Synopsis
- Wrapper to integrate literate Agda files with Hakyll
- Description
Simple module useful to generate blog posts from literate Agda files. See http://mazzo.li/posts/agda-hakyll.html for more info.
- Author
- Francesco Mazzoli (f@mazzo.li)
- Bug reports
- https://github.com/bitonic/hakyll-agda/issues
- Category
- Web
- Copyright
- n/a
- Homepage
- https://github.com/bitonic/hakyll-agda
- Maintainer
- Francesco Mazzoli (f@mazzo.li)
- Package URL
- n/a
- Stability
- n/a