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