ExactTex. A gradually-typed superset of LaTeX

by camilochs | View on Hacker News