I was looking for a way to procrastinate on my thesis writing, maybe I'll convert it all to typst!
More seriously, I am really following this project closely, and now that it's open source I'd like to see if its possible to add the key libraries my field needs: mathpartir, and something like semantics? especially if typst can provide better syntax and errors!