6 ms·
Good news, there is now a language server! https://www.unison-lang.org/learn/usage-topics/editor-setup/ https://www.unison-lang.org/learn/usage-topics/editor-s
by iamevn 4y ago
Good news, there is now a language server!
https://www.unison-lang.org/learn/usage-topics/editor-setup/ https://www.unison-lang.org/learn/usage-topics/editor-setup/