diff --git a/overlay.nix b/overlay.nix
index 3844c0c..fe5dae9 100644
--- a/overlay.nix
+++ b/overlay.nix
@@ -15,6 +15,7 @@ customPlugins: self: super: {
             "vim-surround"
             "vim-repeat"
             "slimv"
+            "idris-vim"
           ];
         };
         customRC = ''
diff --git a/test.rkt b/test.rkt
deleted file mode 100644
index 8b13789..0000000
--- a/test.rkt
+++ /dev/null
@@ -1 +0,0 @@
-