ExactTex. A gradually-typed superset of LaTeX

 (github.com)

19 points | by camilochs 3 days ago

1 comments