ExactTex. A gradually-typed superset of LaTeX

 (github.com)

19 points | by camilochs  4 days ago

1 comments