ExactTex. A gradually-typed superset of LaTeX
21 points by camilochs 4 days ago | 2 comments

esafak 14 minutes ago
This is the first time I've read that LaTeX's problem was a lack of types.
reply
zetalyrae 2 hours ago
AI slop.
reply