MSUX4FBR4KGQJHAXACDDKDA2L2UPNOJBOX2IHKY7P5S3YRVR6DCQC
PP53PBKEUSC3BOOMF2NUKWC5NZRBX4B7WC4HA4KGXKVSBYTZBAUQC
{ 'ShinKage/idris2-nvim', dependencies = { 'neovim/nvim-lspconfig', 'MunifTanjim/nui.nvim' } },
{ 'idris-community/idris2-nvim', dependencies = { 'neovim/nvim-lspconfig', 'MunifTanjim/nui.nvim' } },