cornelis

URL: https://github.com/agda/cornelis/

Maintainers: Gaetan Lepage

plugins.cornelis.enable

Whether to enable cornelis.

Type: boolean

Default: false

Example: true

Declared by:

• <nixvim/plugins/by-name/cornelis>

plugins.cornelis.package

The cornelis package to use.

Type: package

Default: pkgs.vimPlugins.cornelis

Declared by:

• <nixvim/plugins/by-name/cornelis>

plugins.cornelis.autoLoad

Whether to automatically load cornelis when neovim starts.

Type: boolean

Default: true

Example: false

Declared by:

• <nixvim/plugins/by-name/cornelis>

plugins.cornelis.cornelisPackage

The cornelis package to use.

Type: null or package

Default: pkgs.cornelis

Declared by:

• <nixvim/plugins/by-name/cornelis>