ExactTex. A gradually-typed superset of LaTeX

A gradually-typed superset of LaTeX. Every .tex file is already valid; each annotation you add buys checked references, safe renames, and errors in your own names — before the PDF exists. - camiloc...