GoKawiilExactTeX brings gradual type-checking to LaTeX documents
A new open-source project called ExactTeX extends LaTeX with optional annotations that let authors mark specific objects—like tables or figures—for verification before compiling to PDF. Unannotated content passes through unchanged as ordinary LaTeX, and a browser-based editor called Vitela runs the same compiler via WebAssembly for local checking without a server. The toolchain includes a command-line compiler, a language server for editor integration, and a test suite ensuring consistent behavior across all three interfaces.
GoKawiil's interpretation of the reporting above, not reported fact.
LaTeX has long lacked structured error messages and a native way to track document revisions, forcing writers to decode cryptic warnings like overfull hbox errors or rely on incompatible third-party revision tools. By embedding named-object checking and revision tracking directly into the file format, ExactTeX addresses two persistent pain points for academic and technical writers without breaking existing LaTeX workflows.
- ExactTeX is a gradually-typed superset of LaTeX that keeps unannotated content as standard LaTeX.
- It produces human-readable errors referencing user-declared object names instead of generic LaTeX warnings.
- The project ships a CLI compiler, LSP server, and WebAssembly build usable directly in a browser via Vitela.
LaTeX: A Document Preparation System" by Leslie Lamport — If ExactTeX's gradual typing has you rethinking your .tex files, Lamport's classic user guide is still the definitive reference from LaTeX's own creator. It's the ideal companion for understanding the ordinary LaTeX that ExactTeX transports byte for byte — and for finally decoding what an overfull hbox is really telling you.
See LaTeX: A Document Preparation System" by Leslie Lamport on Amazon → Affiliate link — we may earn a commission on purchases, at no extra cost to you. Product picked by AI based on this article; it is not a tested recommendation.Source: github.com, 2026-09-01
Published there as: “ExactTex. A gradually-typed superset of LaTeX”
Read the original report → The summary and analysis above are GoKawiil's own, written from reporting by the source above. Facts and quotes belong to the original publisher.