ExactTex. A gradually-typed superset of LaTeX

(github.com)

23 points | by camilochs 4 days ago ago

4 comments

  • cvanelteren an hour ago ago

    I hope tex gets replaced by typst. It much more pleasurable to write in in my opinion.

    • MrVandemar 27 minutes ago ago

      It seems every article about LaTeX is a rallying call for Typst fans to inject their opinion of how amazing Typst is into a largely unrelated discussion, instead of reading and commenting on the actual article.

  • esafak an hour ago ago

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

  • zetalyrae 3 hours ago ago

    AI slop.