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...
Summary
ExactTex enhances LaTeX by allowing users to gradually add type annotations to their .tex files, ensuring that the documents remain valid throughout the process. This feature helps catch errors and provides safer renaming options before generating the final PDF.
Comments (9 of ) ⌛