Comment Comment by okapii There is now a language server which facilitates the use of 3rd-party editors like VS Code. parent okapii 7 years ago
