idris2-nvim

idris2-nvim copied to clipboard

feat: reimplement

2

1. I wanted to just delete syntax files, deprecate them in favour of https://github.com/kayhide/tree-sitter-idris and https://github.com/nvim-treesitter/nvim-treesitter/pull/7274 3. but then started doing astronvim plugin https://github.com/AstroNvim/astrocommunity/pull/1258/files and couldnt connect then I found...

srghma

Code actions slightly broken with other LSPs when using the save hook from README

2

Sorry beforehand if this is a dumb question and I'm just using the LSP wrong. I'm using https://www.lazyvim.org/ as my package manager for Neovim and here's my `~/.config/nvim/lua/plugins/idris2.lua` file: ```lua...

sagehane