nixos-configuration/hive/framework/jrpotter/lang/lean.nix

31 lines
540 B
Nix

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