Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / bamboo/idris2-lsp-vscode issues and pull requests

#21 - Cannot run LSP from nested file structure

Issue - State: open - Opened by andrevidela 5 months ago

#21 - Cannot run LSP from nested file structure

Issue - State: open - Opened by andrevidela 5 months ago

#20 - Add `refineHole` command

Pull Request - State: open - Opened by elseLuna 6 months ago - 2 comments

#20 - Add `refineHole` command

Pull Request - State: open - Opened by elseLuna 6 months ago - 2 comments

#19 - Please Publish Version 0.7.1 to VSCode Marketplace

Issue - State: closed - Opened by lsby 7 months ago - 4 comments

#19 - Please Publish Version 0.7.1 to VSCode Marketplace

Issue - State: closed - Opened by lsby 7 months ago - 4 comments

#18 - Highlight idris in markdown files

Pull Request - State: open - Opened by dunhamsteve over 1 year ago

#18 - Highlight idris in markdown files

Pull Request - State: open - Opened by dunhamsteve over 1 year ago

#17 - `Go To Definition` via import statement

Issue - State: open - Opened by scarf005 over 1 year ago

#17 - `Go To Definition` via import statement

Issue - State: open - Opened by scarf005 over 1 year ago

#16 - Add option to use brief completions (without args)

Pull Request - State: closed - Opened by dunhamsteve over 1 year ago - 1 comment

#16 - Add option to use brief completions (without args)

Pull Request - State: closed - Opened by dunhamsteve over 1 year ago - 1 comment

#14 - Add initializationOptions to the initialize request.

Pull Request - State: closed - Opened by andorp almost 2 years ago - 1 comment

#13 - What's the difference between this and idris-vscode

Issue - State: open - Opened by parched about 2 years ago - 1 comment

#12 - fix spawn on windows

Pull Request - State: closed - Opened by lsby over 2 years ago - 3 comments

#11 - Incorrect default Idris2-lsp path on windows

Issue - State: closed - Opened by elseLuna over 2 years ago - 2 comments

#10 - Support code actions

Issue - State: closed - Opened by andylokandy almost 3 years ago

#9 - Adding clause to new line if on last line

Issue - State: open - Opened by trevarj about 3 years ago

#8 - Support restarting the server

Issue - State: open - Opened by michaelmesser about 3 years ago - 1 comment

#7 - Support Idris's custom semantic token types

Issue - State: open - Opened by michaelmesser about 3 years ago

#6 - Wrong line numbers (all [1, 1])

Issue - State: closed - Opened by iacore over 3 years ago - 10 comments

#5 - Cannot communicate with lsp server

Issue - State: open - Opened by KySpace over 3 years ago - 4 comments

#4 - [Feature request] Add support for the new `repl` LSP command.

Issue - State: closed - Opened by Russoul over 3 years ago - 1 comment

#3 - Source file not in directory "." on every file

Issue - State: open - Opened by xiaopong over 3 years ago - 1 comment

#2 - Change usage steps in README

Pull Request - State: closed - Opened by alexhumphreys almost 4 years ago - 2 comments

#1 - chore: small things in wording

Pull Request - State: closed - Opened by Nonius almost 4 years ago - 1 comment