ExactTex. A gradually-typed superset of LaTeX

(github.com)

21 points | by camilochs 4 days ago ago

2 comments

  • esafak 5 minutes ago

    This is the first time I've read that LaTeX's problem was a lack of types.

  • zetalyrae 2 hours ago

    AI slop.