Files
shed/pkgs/nixvim/config/plugins/coq.nix

9 lines
100 B
Nix

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