Files
shed/modules/home/programs/nixvim/plugins/coq.nix

9 lines
126 B
Nix
Executable File

{
programs.nixvim = {
plugins.coq-nvim = {
enable = true;
settings = { auto_start = false; };
};
};
}