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...
摘要按规则整理自下方来源原文