nixvim docs

dependencies.lean.enable

Whether to add lean to dependencies.

Type: boolean

Default:

false

Declared by:

• <nixvim/modules/dependencies.nix>

dependencies.lean.package

The lean package to use.

Type: package

Default:

pkgs.lean4

Declared by:

• <nixvim/modules/dependencies.nix>

dependencies.lean.packageFallback

When enabled, the lean package will be added to the end of the PATH (suffix) instead of the beginning (prefix).

This can be useful if you want local versions (e.g. from a devshell) to override the Nixvim version.

Type: boolean

Default:

false

Declared by:

• <nixvim/modules/dependencies.nix>