diff --git a/devshells/idris2.nix b/devshells/idris2.nix
new file mode 100644
index 0000000..9f873c4
--- /dev/null
+++ b/devshells/idris2.nix
@@ -0,0 +1,24 @@
+{ withSystem, inputs, ... }:
+{
+  perSystem =
+    {
+      config,
+      pkgs,
+      inputs',
+      ...
+    }:
+    {
+      devShells.idris2 = pkgs.mkShell {
+        buildInputs = with pkgs; [
+          # Idris toolchain
+          inputs'.nixpkgs-unstable.legacyPackages.idris2Packages.pack
+          inputs'.nixpkgs-unstable.legacyPackages.idris2
+          pkg-config
+          gmp
+          gnumake
+          chez
+          rlwrap
+        ];
+      };
+    };
+}
diff --git a/flake.nix b/flake.nix
index 4546751..15b54d4 100644
--- a/flake.nix
+++ b/flake.nix
@@ -25,6 +25,7 @@
         ./nixos/machines/wsl/configuration.nix
         ./home-manager/machines/wsl/home.nix
         ./devshells/rust.nix
+        ./devshells/idris2.nix
       ];
       systems = [
         "x86_64-linux"