The latest version of hakyll-agda is 0.1.13-0.
hakyll-agda
Version 0.1.1 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.
- Author
- Francesco Mazzoli (f@mazzo.li)
- Bug reports
- https://github.com/bitonic/website/issues
- Category
- Web
- Copyright
- n/a
- Homepage
- https://github.com/bitonic/website
- Maintainer
- Francesco Mazzoli (f@mazzo.li)
- Package URL
- n/a
- Stability
- n/a