diff --git a/flake.lock b/flake.lock
index 1e8156d..4aa0d9a 100644
--- a/flake.lock
+++ b/flake.lock
@@ -1,5 +1,103 @@
 {
   "nodes": {
+    "agda": {
+      "inputs": {
+        "flake-utils": [
+          "cornelis",
+          "flake-utils"
+        ],
+        "nixpkgs": [
+          "cornelis",
+          "nixpkgs"
+        ]
+      },
+      "locked": {
+        "lastModified": 1691269274,
+        "narHash": "sha256-50AftPkM7m51KjvWZM2c1jqxXu6k3HNuYMh5WnCkuFc=",
+        "owner": "agda",
+        "repo": "agda",
+        "rev": "d4e6bf47156784efc1e74d0f0f2eeadc90a5611b",
+        "type": "github"
+      },
+      "original": {
+        "owner": "agda",
+        "ref": "v2.6.3.20230805",
+        "repo": "agda",
+        "type": "github"
+      }
+    },
+    "agda-stdlib-source": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1693492688,
+        "narHash": "sha256-oO27n/Q+IGPVAaEbOI8YwjerrhvA5rLV+gH6fGDwUIs=",
+        "owner": "agda",
+        "repo": "agda-stdlib",
+        "rev": "f77a02ab6933fadbd42de3959545e91122934342",
+        "type": "github"
+      },
+      "original": {
+        "owner": "agda",
+        "repo": "agda-stdlib",
+        "type": "github"
+      }
+    },
+    "cornelis": {
+      "inputs": {
+        "agda": "agda",
+        "agda-stdlib-source": "agda-stdlib-source",
+        "flake-compat": "flake-compat",
+        "flake-utils": "flake-utils",
+        "nixpkgs": "nixpkgs"
+      },
+      "locked": {
+        "lastModified": 1694540816,
+        "narHash": "sha256-pUHGjxtFkgTO0Ewovc4CEKG2kmJCXxJBDxOcxgJs9Ds=",
+        "owner": "isovector",
+        "repo": "cornelis",
+        "rev": "d7ec58bcef67b1234aa861a706bd402849c8b6e3",
+        "type": "github"
+      },
+      "original": {
+        "owner": "isovector",
+        "repo": "cornelis",
+        "type": "github"
+      }
+    },
+    "flake-compat": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1673956053,
+        "narHash": "sha256-4gtG9iQuiKITOjNQQeQIpoIB6b16fm+504Ch3sNKLd8=",
+        "owner": "edolstra",
+        "repo": "flake-compat",
+        "rev": "35bb57c0c8d8b62bbfd284272c928ceb64ddbde9",
+        "type": "github"
+      },
+      "original": {
+        "owner": "edolstra",
+        "repo": "flake-compat",
+        "type": "github"
+      }
+    },
+    "flake-utils": {
+      "inputs": {
+        "systems": "systems"
+      },
+      "locked": {
+        "lastModified": 1692799911,
+        "narHash": "sha256-3eihraek4qL744EvQXsK1Ha6C3CR7nnT8X2qWap4RNk=",
+        "owner": "numtide",
+        "repo": "flake-utils",
+        "rev": "f9e7cf818399d17d347f847525c5a5a8032e4e44",
+        "type": "github"
+      },
+      "original": {
+        "owner": "numtide",
+        "repo": "flake-utils",
+        "type": "github"
+      }
+    },
     "home-manager": {
       "inputs": {
         "nixpkgs": [
@@ -22,6 +120,22 @@
       }
     },
     "nixpkgs": {
+      "locked": {
+        "lastModified": 1696419054,
+        "narHash": "sha256-EdR+dIKCfqL3voZUDYwcvgRDOektQB9KbhBVcE0/3Mo=",
+        "owner": "NixOS",
+        "repo": "nixpkgs",
+        "rev": "7131f3c223a2d799568e4b278380cd9dac2b8579",
+        "type": "github"
+      },
+      "original": {
+        "owner": "NixOS",
+        "ref": "nixpkgs-unstable",
+        "repo": "nixpkgs",
+        "type": "github"
+      }
+    },
+    "nixpkgs_2": {
       "locked": {
         "lastModified": 1693428224,
         "narHash": "sha256-FWUUlhYqkGEySUD0blTADRiDQ7fw+H1ikivfu88uy+w=",
@@ -39,8 +153,24 @@
     },
     "root": {
       "inputs": {
+        "cornelis": "cornelis",
         "home-manager": "home-manager",
-        "nixpkgs": "nixpkgs"
+        "nixpkgs": "nixpkgs_2"
+      }
+    },
+    "systems": {
+      "locked": {
+        "lastModified": 1681028828,
+        "narHash": "sha256-Vy1rq5AaRuLzOxct8nz4T6wlgyUR7zLU309k9mBC768=",
+        "owner": "nix-systems",
+        "repo": "default",
+        "rev": "da67096a3b9bf56a91d16901293e51ba5b49a27e",
+        "type": "github"
+      },
+      "original": {
+        "owner": "nix-systems",
+        "repo": "default",
+        "type": "github"
       }
     }
   },
diff --git a/flake.nix b/flake.nix
index c0d8edc..8e41200 100644
--- a/flake.nix
+++ b/flake.nix
@@ -6,9 +6,10 @@
     nixpkgs.url = "github:NixOs/nixpkgs/nixos-23.05";
     home-manager.url = "github:nix-community/home-manager/release-23.05";
     home-manager.inputs.nixpkgs.follows = "nixpkgs";
+    cornelis.url = "github:isovector/cornelis";
   };
 
-  outputs = { self, nixpkgs, home-manager }: {
+  outputs = { self, nixpkgs, home-manager, cornelis }: {
 
     nixosConfigurations.lambda = nixpkgs.lib.nixosSystem {
       system = "x86_64-linux";
@@ -23,7 +24,9 @@
           home-manager = {
             useGlobalPkgs = true;
             useUserPackages = true;
-            users.rachel = import ./home/rachel.nix;
+            users.rachel = import ./home/rachel.nix {
+              inherit cornelis pkgs;
+            };
           };
         })
       ];
diff --git a/home/rachel.nix b/home/rachel.nix
index 3eb1da0..7163e10 100644
--- a/home/rachel.nix
+++ b/home/rachel.nix
@@ -1,4 +1,4 @@
-{ pkgs, ... }:
+{ pkgs, cornelis, ... }:
 let username = "rachel";
     homeDir = "/home/${username}";
     SAX2 = pkgs.fetchurl {
@@ -79,6 +79,7 @@ in
       rmapi
       lutris
       texlive.combined.scheme-full
+      cornelis.packages.x86_64-linux.cornelis
     ];
     stateVersion = "23.05";
   };
@@ -189,6 +190,7 @@ in
         set ts=2 sw=2 expandtab
         set clipboard=unnamedplus
         set laststatus=2 noshowmode
+        let g:cornelis_use_global_binary = 1
         let g:lightline = { 'colorscheme': 'gruvbox' }
         colorscheme gruvbox
         hi Normal guibg=NONE ctermbg=NONE
@@ -201,6 +203,7 @@ in
         lightline-vim
         lightline-gruvbox-vim
         tmux-nvim
+        cornelis.packages.x86_64-linux.cornelis-vim
       ];
     };