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

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

· Web · 0 · 0

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

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