matsuu
.
@matsuu,
LaTeXに漸進的型付けの概念を導入した実装らしい
---
GitHub - camilochs/exacttex: 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.
https://github.com/camilochs/exacttex
#bookmarks