Summarizing the iterator API as usefully-succinctly as possible, using an ad hoc, math-like notation.
Flux is a refinement type checker for Rust that lets you specify a range of correctness properties and have them be verified at compile time.
Looks like a good candidate for my pipeline, to refine
pulldown-cmark output: https://lib.rs/crates/lol_html
Found when looking for subscript support in
Heradoc is a markdown to LaTeX converter. It is a very biased partial reimplementation of pandoc with a pinch of hackmd.