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