issues
search
ShinKage
/
idris2-nvim
Simple configuration and extra tools for NVIM + LSP + Idris2
MIT License
46
stars
7
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
vim/shared.lua:521: s: expected string, got boolean
#32
stephen-smith
opened
1 week ago
0
Update README.md to make `nui` sound less optional
#31
mattpolzin
opened
5 months ago
0
highlight not working by default
#30
glyh
opened
1 year ago
4
Add 'Type-check name' from the book
#29
SlayerOfTheBad
closed
3 months ago
2
fix hook for adding a file
#28
mattpolzin
closed
1 year ago
0
Idris2 LSP Response Buffer is empty
#27
Qumeric
opened
1 year ago
2
Nothing works except for syntax highlighting
#26
RHL120
closed
1 year ago
5
No autocomplete
#25
Tylerwbrown
opened
1 year ago
2
Not completely working in vim
#24
funarog
closed
1 year ago
7
Error messages when `idris2` isn't in `$PATH`
#23
sagehane
opened
1 year ago
4
Better repl
#22
ShinKage
closed
2 years ago
0
Add machine names option
#21
ShinKage
closed
2 years ago
0
Add intro code action
#20
ShinKage
closed
2 years ago
0
Adapt RefineHole to new parameters
#19
ShinKage
closed
2 years ago
0
Check for clients semantic capabilities
#18
ShinKage
closed
2 years ago
0
Don't assume all LSP clients provide "textDocument/semanticTokens/full"
#17
gekoke
opened
2 years ago
3
Properly handle semantic token errors
#16
gwerbin
closed
2 years ago
0
Add ftplugin for ipkg
#15
gwerbin
closed
2 years ago
0
Add an ftplugin for ipkg files
#14
gwerbin
closed
2 years ago
0
Split fix
#13
ShinKage
closed
2 years ago
0
Missing argument in neovim 0.7
#12
ShinKage
closed
2 years ago
0
Add syntax for ipkg files
#11
ShinKage
closed
2 years ago
0
[ breaking ] Make hover split position be in the hover config section
#10
buzden
closed
2 years ago
3
Make hover split size be configurable
#9
buzden
closed
2 years ago
0
Fix reference to use_default_semantic_hl_groups option.
#8
mattpolzin
closed
2 years ago
0
Use vim.notify and missing err cases
#7
ShinKage
closed
2 years ago
0
Error when executing `metavars.request_all`
#6
phijor
closed
2 years ago
0
Add a basic repl evaluate command.
#5
mattpolzin
closed
2 years ago
1
support post-code-action hooks.
#4
mattpolzin
closed
2 years ago
9
Add a note about `on_attach` to the README.
#3
mattpolzin
closed
2 years ago
0
Fix documentation reference.
#2
jumper149
closed
2 years ago
0
Add an ftplugin/idris2.vim, for filetype-specific settings
#1
gwerbin
closed
2 years ago
0