notes/
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.
lol_html
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 pulldown-cmark
: https://github.com/raphlinus/pulldown-cmark/issues/359
Heradoc is a markdown to LaTeX converter. It is a very biased partial reimplementation of pandoc with a pinch of hackmd.