nixos-configuration/jrpotter/lang/lean.nix

31 lines
540 B
Nix
Raw Normal View History

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