diff --git a/common/nix.nix b/common/nix.nix
index f3741bf..95417d2 100644
--- a/common/nix.nix
+++ b/common/nix.nix
@@ -13,6 +13,9 @@
     trusted-users = [ "root" ];
     auto-optimise-store = true;
   };
-  nix.registry.nixpkgs.flake = inputs.nixpkgs;
+  nix.registry = {
+    hd.flake = inputs.self;
+    nixpkgs.flake = inputs.nixpkgs;
+  };
   nixpkgs.config.allowUnfree = false;
 }
diff --git a/devshells/default.nix b/devshells/default.nix
new file mode 100644
index 0000000..ebd0c7a
--- /dev/null
+++ b/devshells/default.nix
@@ -0,0 +1,6 @@
+{ pkgs }:
+{
+  agda = pkgs.mkShell {
+    buildINputs = with pkgs; [ agda ];
+  };
+}
diff --git a/flake.nix b/flake.nix
index 0a23a0a..c61215d 100644
--- a/flake.nix
+++ b/flake.nix
@@ -132,12 +132,14 @@
         pkgs = import nixpkgs { inherit system; };
       in
       {
-        devShells.default = pkgs.mkShell {
-          buildInputs = [
-            colmena.packages.${system}.colmena
-            agenix.packages.${system}.default
-            pkgs.openssl
-          ];
+        devShells = import ./devshells { inherit pkgs; } // {
+          default = pkgs.mkShell {
+            buildInputs = [
+              colmena.packages.${system}.colmena
+              agenix.packages.${system}.default
+              pkgs.openssl
+            ];
+          };
         };
         formatter = pkgs.nixfmt-tree;
       }