search

bamboo / idris2-lsp-vscode

Visual Studio Code integration for the Idris 2 language server
MIT License
29 stars 13 forks source link

Support code actions #10

Closed andylokandy closed 2 years ago

andylokandy commented 2 years ago

Case-Split and so forth