How to export a PDF

[Free-Aaron-Li]

As the title suggests, after completing my document, how should I export it? I'm sorry, but I haven't found the corresponding button for this, so I have to rely on other third-party tools (e.g. vscode).

[Inmoresentum]

Better use typst cli for now. The plugin itself is at its very early stage and is missing quite a bit of its features provided by tinymist.