ExactTex. A gradually-typed superset of LaTeX

ExactTex is a gradually‑typed superset of LaTeX that lets you incrementally add types to your documents. To adopt it, start by prototyping in a small project, v