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"