ExactTeX: A gradually-typed superset of LaTeX that catches errors before the PDF exists
ExactTex. A gradually-typed superset of LaTeX
ExactTeX is a gradually-typed superset of LaTeX that lets you annotate your documents to catch errors before compilation. Every .tex file is valid .xtex, and annotations buy checked references, safe renames, and precise diagnostics. The compiler, LSP, and WebAssembly build share a zero-dependency core, with a coverage meter showing how much of your document is under contract. It's not a replacement for LaTeX—your journal still gets a .tex file—but it brings type safety to document writing.
The parts that transport your document are careful; the parts that let people argue about it are new.