From 46447d8a02571dd50115497c3903d1d3def8592e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?L=C3=A9ana=20=E6=B1=9F?= <leana.jiang+git@icloud.com>
Date: Fri, 23 Jan 2026 23:14:07 +0100
Subject: [PATCH] vanadium: +cornelis

---
 nix/configurations/vanadium.nix          | 1 +
 nix/configurations/vanadium/home/dev.nix | 1 +
 2 files changed, 2 insertions(+)

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