documentation icon indicating copy to clipboard operation
documentation copied to clipboard

Adding purescript-language-server to tools

Open andys8 opened this issue 5 years ago • 2 comments

Minor change: purescript-language-server also supports suggestions

andys8 avatar Aug 20 '20 15:08 andys8

I'm not able to merge this, but 👍

thomashoneyman avatar Aug 20 '20 19:08 thomashoneyman

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.

thomashoneyman avatar Aug 21 '20 03:08 thomashoneyman