gemmaro さんはインスタンス qiitadon.com のユーザーです。アカウントさえ持っていればフォローしたり会話したりできます。 もしお持ちでないなら こちら からサインアップできます。

idris2-lspインストールの失敗原因がよくわからない
idris2apiが少し怪しい

gemmaro @gemmaro2

インストールできた
idrisとidris2apiは適切なバージョンを使うことに注意する
:neovim: にデフォルト設定が来ていた。ありがたい
これで書いているときのミスに気付きやすくなるだろう
github.com/neovim/nvim-lspconf

· Web · 0 · 0

プルリクは19日前だったからかなり直近で入ったようだ
github.com/neovim/nvim-lspconf