ExactTex. A gradually-typed superset of LaTeX
What happened
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...
Summary assembled by rule from the sources below