ExactTeX：LaTeX の段階的型付きスーパーセット。PDF を見る前に文書の正しさがわかる

ExactTex. A gradually-typed superset of LaTeX

ExactTeX は、既存の .tex ファイルをそのまま有効なままにする、LaTeX の段階的型付きスーパーセットです。ファイル名を .xtex に変更するだけで、アノテーションを追加するほど、参照チェック、安全なリネーム、独自の名前でのエラー検出が可能になります。型システムは段階的で、未知の型 ?O はすべてと整合するため、未アノテーションの LaTeX はバイト単位でそのまま通過します。コンパイラはゼロ依存で、ターミナル、エディタ（LSP）、ブラウザ（WebAssembly）の3つのインターフェースを備え、パリティスイートで同一性を保証します。