package camyll
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=e7ba81564b549b27853b01df56fd4058a5087a38bfcfcd59f5846517554dafc4
sha512=0d08039f30ba6b86689d8e330c1e806ce6f0344601edaf90989588a89b3cca97f015a9189b425d36fc4c6a4979ee374d431a1ee79835cb64186a0eb0a16217d8
CHANGES.md.html
0.4.0 (November 28, 2021)
Switch from To.ml to OTOML library (#1, Daniil Baturin).
Close a leaked file handle.
Use
slug
library instead of handrolled function for generating slugs.
0.3.0 (July 28, 2020)
Validate colors from TextMate themes.
Implement other theme attributes.
Use proper URI parsing library in server; previous code didn't handle ? and #.
Use opinionated directory names instead of making them configurable.
Determine Agda module names by parsing file instead of deriving it from the filepath. This makes it possible to set the project root in a different directory (such as through
.agda-lib
).Don't leave Agda-processed Markdown files in the Agda documentation directory.
0.2.0 (July 21, 2020)
Switch template language from Mustache to Jingoo.
Switch config language from YAML to TOML.
Require frontmatter.
Add the
serve
command for serving a site.Add taxonomies.
Use TextMate themes for syntax highlighting.
0.1.0 (October 15, 2020)
Initial release.