Idris

languages.idris.enable

Whether to enable tools for Idris development.

Type: boolean

Default: false

Example: true

languages.idris.package

The Idris package to use.

Type: package

Default: pkgs.idris2

Example: pkgs.idris

languages.idris.lsp.enable

Whether to enable Idris language server.

Type: boolean

Default: false

Example: true

languages.idris.lsp.package

Idris language server package to use.

Type: package

Default: pkgs.idris2Packages.idris2Lsp