I am pleased to announce the release of Forester 4.2 on opam, which is an OCaml utility to develop “Forests”, which are densely interlinked mathematical websites / Zettelkästen similar to the Stacks project or Kerodon. You can see the changelog on my own Forest.
This release adds many new features and improvements, including:
- First-class functions and lazy arguments, which can be used to implement more ergonomic MathML macros
- A new query language, which is now expressive enough to encode the backmatter
- Improved performance of graph analysis (2x overall speedup rendering my own forest)
To see other features and documentation of breaking changes, please view the Forester 4.2 Release Notes.
My thanks to @kentookura and Jinser Kafka for their contributions to this release.