mirror of
https://github.com/nix-community/nixvim.git
synced 2025-11-27 12:41:03 +01:00
31 lines
522 B
Nix
31 lines
522 B
Nix
{
|
|
empty = {
|
|
plugins.cornelis.enable = true;
|
|
};
|
|
|
|
defaults = {
|
|
plugins.cornelis = {
|
|
enable = true;
|
|
|
|
settings = {
|
|
use_global_binary = 0;
|
|
agda_prefix = "<localleader>";
|
|
no_agda_input = 0;
|
|
bind_input_hook = null;
|
|
};
|
|
};
|
|
};
|
|
|
|
example = {
|
|
plugins.cornelis = {
|
|
enable = true;
|
|
|
|
settings = {
|
|
use_global_binary = 1;
|
|
agda_prefix = "<Tab>";
|
|
no_agda_input = 1;
|
|
bind_input_hook = "MyCustomHook";
|
|
};
|
|
};
|
|
};
|
|
}
|