4 ms·There's a language server. It seems to work pretty well.by anonymoushn 4y agoThere's a language server. It seems to work pretty well.