GitHub repository: space-shell/nvim-idris2
Description: EXPERIMENTAL: Idris2 plugin for neovim in Idris2