diff --git a/src/modules/languages/idris.nix b/src/modules/languages/idris.nix
new file mode 100644
index 000000000..6f19e2ff5
--- /dev/null
+++ b/src/modules/languages/idris.nix
@@ -0,0 +1,24 @@
+{ pkgs, config, lib, ... }:
+
+let cfg = config.languages.idris;
+in {
+  options.languages.idris = {
+    enable = lib.mkEnableOption "tools for Idris development";
+
+    package = lib.mkOption {
+      type = lib.types.package;
+      default = pkgs.idris2;
+      defaultText = "pkgs.idris2";
+      description = ''
+        The Idris package to use.
+      '';
+      example = "pkgs.idris";
+    };
+  };
+
+  config = lib.mkIf cfg.enable {
+    packages = with pkgs; [
+      cfg.package
+    ];
+  };
+}