Switch from To.ml to OTOML library (#1, Daniil Baturin).
Close a leaked file handle.
sluglibrary 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
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.
servecommand for serving a site.
Use TextMate themes for syntax highlighting.
0.1.0 (October 15, 2020)