1 changed files with 1 additions and 0 deletions
--- a/overlay.nix
+++ b/overlay.nix
@ -10,6 +10,7 @@ customPlugins: self: super: {
            "vimwiki"
            "slimv"
            "vim-racket"
+            "idris2"
          ];
        };
        customRC = ''