ExactTex. A gradually-typed superset of LaTeX

(github.com)

21 points by camilochs3 days ago

2 comments

  • esafak12 minutes ago
    This is the first time I've read that LaTeX's problem was a lack of types.
  • zetalyrae1 hour ago
    AI slop.