zjhmale / vscode-idris

Idris for Visual Studio Code
https://marketplace.visualstudio.com/items?itemName=zjhmale.Idris
BSD 3-Clause "New" or "Revised" License
106 stars 21 forks source link

Support idris2 #132

Open turion opened 4 years ago

turion commented 4 years ago

Idris2 is released.It seems this plugin doesn't support it yet?

srid commented 2 years ago

https://github.com/meraymond2/idris-vscode works with Idris2.

michaelmesser commented 2 years ago

https://github.com/bamboo/idris2-lsp-vscode also works with Idris2

ijcd commented 2 years ago

Why so many versions of the same thing? Is there an appreciable difference between how these plugins implement things?

michaelmesser commented 2 years ago

@ijcd https://github.com/meraymond2/idris-vscode uses IDE-protocol to communicate with idris2 https://github.com/bamboo/idris2-lsp-vscode use LSP to communicate with idris2-lsp

I use the LSP based plugin because it has semantic tokens (better highlighting).