ExactTex. A gradually-typed superset of LaTeXgithub.com
22 points by camilochs 4 days ago | 4 comments