From c8aeb7fc31cf0c85bffc02b30dbd06c1cfb12267 Mon Sep 17 00:00:00 2001
From: Thorn Avery <s@p7.co.nz>
Date: Mon, 14 Dec 2020 11:26:57 +1300
Subject: [PATCH] trying out idris vim lazily

---
 overlay.nix | 1 +
 test.rkt    | 1 -
 2 files changed, 1 insertion(+), 1 deletion(-)
 delete mode 100644 test.rkt

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 @@
-