added idris2 plugin

flake.lock

@@ -15,6 +15,22 @@
         "type": "github"
       }
     },
+    "idris2-src": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1606405807,
+        "narHash": "sha256-v2oNgtjreNpbN0LV1RIdrcYLjFWj/k9fqGf/w4ig8cE=",
+        "owner": "edwinb",
+        "repo": "idris2-vim",
+        "rev": "964cebee493c85f75796e4f4e6bbb4ac54e2da9e",
+        "type": "github"
+      },
+      "original": {
+        "owner": "edwinb",
+        "repo": "idris2-vim",
+        "type": "github"
+      }
+    },
     "nixpkgs": {
       "locked": {
         "lastModified": 1617808887,
@@ -50,6 +66,7 @@
     "root": {
       "inputs": {
         "flake-utils": "flake-utils",
+        "idris2-src": "idris2-src",
         "nixpkgs": "nixpkgs",
         "rainbow-vim-src": "rainbow-vim-src",
         "slimv-src": "slimv-src",

flake.nix

@@ -21,9 +21,13 @@
       url = "github:kovisoft/slimv";
       flake = false;
     };
+    idris2-src = {
+      url = "github:edwinb/idris2-vim";
+      flake = false;
+    };
   };
   outputs = { self, nixpkgs, flake-utils, rainbow-vim-src
-            , vim-racket-src, slimv-src, ... }: 
+            , vim-racket-src, slimv-src, idris2-src, ... }: 
   let
     customPlugins = pkgs: {
       rainbow-vim = pkgs.vimUtils.buildVimPlugin {
@@ -38,6 +42,10 @@
         name = "slimv";
         src = slimv-src;
       };
+      idris2 = pkgs.vimUtils.buildVimPlugin {
+        name = "idris2";
+        src = idris2-src;
+      };
     };
   in flake-utils.lib.eachDefaultSystem (system:
     let

overlay.nix

@@ -10,6 +10,7 @@ customPlugins: self: super: {
             "vimwiki"
             "slimv"
             "vim-racket"
+            "idris2"
           ];
         };
         customRC = ''