ExactTex. A gradually-typed superset of LaTeX latex gradual-typing compiler Q: 8 R: 8 Sep 1, 2026 Summary