11 lines
175 B
Nix
11 lines
175 B
Nix
|
{pkgs, ...}: {
|
||
|
|
vim = {
|
||
|
|
lazy.plugins."lean.nvim" = {
|
||
|
|
enabled = true;
|
||
|
|
package = pkgs.vimPlugins.lean-nvim;
|
||
|
|
lazy = true;
|
||
|
|
ft = "lean";
|
||
|
|
};
|
||
|
|
};
|
||
|
|
}
|