Add support for lean.

jrpotter/default.nix

@@ -13,7 +13,9 @@
     packages = with pkgs; [
       anki-bin
       bitwarden
+      elan
       firefox
+      gnumake
       mullvad-vpn
       python3
       wezterm

jrpotter/neovim/default.nix

@@ -1,13 +1,6 @@
-{ config, pkgs, lib, ... }:
+args @ { config, pkgs, lib, ... }:
 let
-  pluginGit = rev: repo: pkgs.vimUtils.buildVimPluginFrom2Nix {
-    pname = "${lib.strings.sanitizeDerivationName repo}";
-    version = builtins.substring 0 7 rev;
-    src = builtins.fetchGit {
-      url = "https://github.com/${repo}.git";
-      rev = rev;
-    };
-  };
+  utils = import ./utils.nix args;
 
   lualine-nvim = {
     plugin = pkgs.vimPlugins.lualine-nvim;
@@ -24,7 +17,7 @@ let
   };
 
   nvim-dap = {
-    plugin = pluginGit
+    plugin = utils.pluginGit
       "e154fdb6d70b3765d71f296e718b29d8b7026a63"
       "mfussenegger/nvim-dap";
     config = config.programs.neovim.nvim-dap;
@@ -72,6 +65,7 @@ in
   };
 
   imports = [
+    ./lang/lean.nix
     ./lang/lua.nix
     ./lang/nix.nix
     ./lang/python.nix

jrpotter/neovim/lang/lean.nix

@@ -0,0 +1,26 @@
+args @ { pkgs, ... }:
+let
+  utils = import ../utils.nix args;
+
+  lean-nvim = {
+    plugin = utils.pluginGit
+      "47ff75ce2fcc319fe7d8e031bc42a75473919b93"
+      "Julian/lean.nvim";
+    config = ''
+      lua << EOF
+      require('lean').setup {
+        abbreviations = { builtin = true },
+        mappings = true,
+      }
+      EOF
+    '';
+  };
+in
+{
+  programs.neovim = {
+    plugins = [
+      lean-nvim
+      pkgs.vimPlugins.plenary-nvim
+    ];
+  };
+}

jrpotter/neovim/utils.nix

@@ -0,0 +1,11 @@
+{ pkgs, lib, ... }:
+{
+  pluginGit = rev: repo: pkgs.vimUtils.buildVimPluginFrom2Nix {
+    pname = "${lib.strings.sanitizeDerivationName repo}";
+    version = builtins.substring 0 7 rev;
+    src = builtins.fetchGit {
+      url = "https://github.com/${repo}.git";
+      rev = rev;
+    };
+  };
+}