Nathan Varner

@BlueskyFR please update when you test in VS Code; it should work fine there with the latest version of the plugin. I'm not familiar with Vim configuration, but it looks...

The `["string", "null"]` editor is unfortunate, since that would a nice solution. To propose another alternative, we could keep one string for the output directory and treat it like a...

I don't like leaving in hacks, but I'm actually okay with small ones here. As Typst matures, I expect its offline users will need to manage growing projects, collaborators over...

I ran into this same issue. @onnodb's advice was very helpful; my problem was also `PATH`, not `XDG_DATA_DIRS`. My `PATH` (and other environment variables) were being set by [this invocation...

Thank you! I'll try to make my PR compatible with the browser support. How exactly does it work? I have to trick the typechecker to avoid reading from the local...

@highjeans my LSP server communicates in a nonstandard way (it listens on port 4096 and waits for a client to connect). I'm not familiar with the neovim LSP client, but...

@banacorn in principle it could, but it will take work and may not be worth it yet. Filesystem access is baked into Agda, including resolving imports and searching for `.agda-lib`...