| ▲ | ExactTex. A gradually-typed superset of LaTeX(github.com) | |
| 22 points by camilochs 4 days ago | 3 comments | ||
| ▲ | cvanelteren 22 minutes ago | parent | next [-] | |
I hope tex gets replaced by typst. It much more pleasurable to write in in my opinion. | ||
| ▲ | esafak an hour ago | parent | prev | next [-] | |
This is the first time I've read that LaTeX's problem was a lack of types. | ||
| ▲ | zetalyrae 2 hours ago | parent | prev [-] | |
AI slop. | ||