trying out idris vim lazily

2020-12-14 11:26:57 +13:00 · 2020-12-14 11:26:57 +13:00 · c8aeb7fc31
commit c8aeb7fc31
parent 14efc4de4c
2 changed files with 1 additions and 1 deletions
--- a/overlay.nix
+++ b/overlay.nix
@ -15,6 +15,7 @@ customPlugins: self: super: {
            "vim-surround"
            "vim-repeat"
            "slimv"
+            "idris-vim"
          ];
        };
        customRC = ''
--- a/test.rkt
+++ b/test.rkt
@ -1 +0,0 @@
-