idris2-nvim
idris2-nvim copied to clipboard
ShinKage
Simple configuration and extra tools for NVIM + LSP + Idris2
### Issue description Running Neovim will always cause it to start with the following error message: ``` Error in packer_compiled: Vim:E475: Invalid value for argument cmd: 'idris2' is not executable...
When using https://github.com/zbirenbaum/copilot.lua, GitHub Copilot runs as an LSP client in the buffer alongside other LSP providers (e.g. idris2-lsp), and doesn't provide the functionality this plugin expects. Is there perhaps...
This is pretty minor, but I found that someone I was working with on a PR interpreted `nui` as an optional requirement when in reality it is almost if not...
The book 'Type-driven Development with Idris' by Edwin Brady describes a 'Type-check name' command in the Atom extension for Idris (called with Ctrl-Alt-T). It is described as showing the type...
Here's my config with lazy: ``` { 'ShinKage/idris2-nvim', dependencies = {'neovim/nvim-lspconfig', 'MunifTanjim/nui.nvim'}, -- ft = 'idr', lazy = false, config = function() require('idris2').setup({}) vim.cmd [[highlight link LspSemantic_type Include]] end },...
I'm not getting any autocomplete when I use this plugin, but everything else seems to work (code actions, inline errors, etc.) vscode has the same functionality but also have autocompletion...
I installed idris2-nvim and it seems to mostly work (e.g. if I have a syntax error it highlights the line and shows error). However, if I do idris2.hover.open_split(), it opens...
Sometimes when closing a `{` `}` pair, the line indentation resets. I almost never expect or desire this to happen, and suspect it's a bug. Dunham [points out](https://discord.com/channels/827106007712661524/827110142083858492/1334998761386147870) this might...
I cannot seem to get autocompletion to work at all. Any help would be appreciated.
