nixos-configuration/jrpotter/neovim/lang/lean.nix

args @ { pkgs, ... }:
let
  utils = import ../utils.nix args;

  lean-nvim = {
    plugin = utils.pluginGit
      "47ff75ce2fcc319fe7d8e031bc42a75473919b93"
      "Julian/lean.nvim";
    config = ''
      lua << EOF
      require('init.lsp').setup(require('lean')) {
        abbreviations = { builtin = true },
        mappings = true,
      }
      EOF
    '';
  };
in
{
  programs.neovim = {
    plugins = [
      lean-nvim
      pkgs.vimPlugins.plenary-nvim
    ];
  };
}