ExactTex is a gradually-typed superset of LaTeX that allows developers to add type annotations to existing source files without breaking them. This incremental approach provides checked references, safe renaming, and early error detection before the final PDF is even generated.