Nathan Varner

PR #387, fixing #380, disabled Typst's explicit autocomplete. This is intended for explicit user requests, like Ctrl+Space, rather than completions that automatically pop up. This is due to VS Code...

[Draft] Deeper integration with Agda: foundational work

4

Draft PR for #35. Currently likely to break on all but simple files. Most of the big changes are behind-the-scenes work to enable future development. - Data model, which tracks...

Interest in deeper integration with Agda

6

I've recently been dissatisfied with the state of Agda's editor support, so experimented with [implementing a language server](https://github.com/nvarner/agda-vs-new) for it (and [a basic client VS Code extension for testing](https://github.com/nvarner/agda-vscode)). The...