idris

Options

languages.idris.enable

Whether to enable tools for Idris development.

Type: boolean

Default:

false

Example:

true

Declared by:

• https://github.com/cachix/devenv/blob/main/src/modules/languages/idris.nix

languages.idris.package

The Idris package to use.

Type: package

Default:

pkgs.idris2

Example:

pkgs.idris

Declared by:

• https://github.com/cachix/devenv/blob/main/src/modules/languages/idris.nix

languages.idris.lsp.enable

Whether to enable Idris Language Server.

Type: boolean

Default:

true

Example:

true

Declared by:

• https://github.com/cachix/devenv/blob/main/src/modules/languages/idris.nix

languages.idris.lsp.package

The Idris language server package to use.

Type: package

Default:

pkgs.idris2Packages.idris2Lsp

Declared by:

• https://github.com/cachix/devenv/blob/main/src/modules/languages/idris.nix