documentation
documentation copied to clipboard
Adding purescript-language-server to tools
Minor change: purescript-language-server also supports suggestions
I'm not able to merge this, but 👍
On second thought -- #347 updates the editor and tooling support section in the documentation and includes the language server. Does it make sense for there to be two documentation sections? Isn't this content already covered there?
I might be more in support of removing this documentation altogether.