diff --git a/nix/configurations/vanadium.nix b/nix/configurations/vanadium.nix
index 415bda60..c8b9e4d5 100644
--- a/nix/configurations/vanadium.nix
+++ b/nix/configurations/vanadium.nix
@@ -56,6 +56,7 @@ in
           ../overlays/nil.nix
           ../overlays/ghostty-dev.nix
           ../overlays/npins.nix
+          ../overlays/cornelis.nix
 
           ../overlays/iosevka
           ../packages/overlay.nix
diff --git a/nix/configurations/vanadium/home/dev.nix b/nix/configurations/vanadium/home/dev.nix
index 5e0ba28e..034946b3 100644
--- a/nix/configurations/vanadium/home/dev.nix
+++ b/nix/configurations/vanadium/home/dev.nix
@@ -27,6 +27,7 @@
     pkgs.taplo # toml
     pkgs.vscode-langservers-extracted # JSON etc
     pkgs.yaml-language-server # yaml
+    pkgs.cornelis # agda
 
     # bash
     pkgs.shfmt