3 files changed, 9 insertions, 11 deletions
diff --git a/Tasks.org b/Tasks.org
index ac41f03..ee9e2a2 100644
--- a/Tasks.org
+++ b/Tasks.org
@@ -121,6 +121,8 @@ We can pick the right option, but our cost models seem really weird.
 
 ie if we have two different ~insert/100 ...~ lines we should use both instead of only one
 
+** TODO Fix seed for benchmarks
+
 * BLOCKED Benchmarks & Evaluation
 
 We implement several test programs which require different data structures and different implementations.
@@ -144,6 +146,7 @@ Ideas:
   - Nixify the install of rosette
   - See if the ~linked_list_cursors~ feature / nightly compiler is actually necessary
   - Alternative to opaque type aliases for codegen
+  - Real checking of map types
 
 * Writing
 
diff --git a/flake.lock b/flake.lock
index 7c39cbb..5853cdd 100644
--- a/flake.lock
+++ b/flake.lock
@@ -2,18 +2,16 @@
   "nodes": {
     "nixpkgs": {
       "locked": {
-        "lastModified": 1695559356,
-        "narHash": "sha256-kXZ1pUoImD9OEbPCwpTz4tHsNTr4CIyIfXb3ocuR8sI=",
-        "owner": "NixOS",
+        "lastModified": 1703467016,
+        "narHash": "sha256-/5A/dNPhbQx/Oa2d+Get174eNI3LERQ7u6WTWOlR1eQ=",
+        "owner": "nixos",
         "repo": "nixpkgs",
-        "rev": "261abe8a44a7e8392598d038d2e01f7b33cf26d0",
+        "rev": "d02d818f22c777aa4e854efc3242ec451e5d462a",
         "type": "github"
       },
       "original": {
-        "owner": "NixOS",
-        "ref": "nixos-23.05",
-        "repo": "nixpkgs",
-        "type": "github"
+        "id": "nixpkgs",
+        "type": "indirect"
       }
     },
     "root": {
diff --git a/flake.nix b/flake.nix
index 64ea3ee..9da1d5d 100644
--- a/flake.nix
+++ b/flake.nix
@@ -1,8 +1,5 @@
 {
   description = "Aria Shrimpton dissertation";
-  inputs = {
-    nixpkgs.url = github:NixOS/nixpkgs/nixos-23.05;
-  };
   outputs = {
     self,
     nixpkgs,