diff --git a/Idris2 b/Idris2
index d176ab4..457ca7c 160000
--- a/Idris2
+++ b/Idris2
@@ -1 +1 @@
-Subproject commit d176ab4108a42cd8423466a0e2450e17cc693b7c
+Subproject commit 457ca7c6effd66a3f49e721171b142f979bb7406
diff --git a/flake.lock b/flake.lock
index 6cf26c3..387555a 100644
--- a/flake.lock
+++ b/flake.lock
@@ -32,6 +32,7 @@
           "idris2Lsp",
           "idris2Lsp",
           "idris2Lsp",
+          "idris2Lsp",
           "lsp-lib",
           "idris2Lsp",
           "nixpkgs"
@@ -81,6 +82,7 @@
           "idris2Lsp",
           "idris2Lsp",
           "idris2Lsp",
+          "idris2Lsp",
           "lsp-lib",
           "idris2Lsp",
           "alejandra",
@@ -196,6 +198,24 @@
       "inputs": {
         "systems": "systems_6"
       },
+      "locked": {
+        "lastModified": 1710146030,
+        "narHash": "sha256-SZ5L6eA7HJ/nmkzGG7/ISclqe6oZdOZTNoesiInkXPQ=",
+        "owner": "numtide",
+        "repo": "flake-utils",
+        "rev": "b1d9ab70662946ef0850d488da1c9019f3a9752a",
+        "type": "github"
+      },
+      "original": {
+        "owner": "numtide",
+        "repo": "flake-utils",
+        "type": "github"
+      }
+    },
+    "flake-utils_7": {
+      "inputs": {
+        "systems": "systems_7"
+      },
       "locked": {
         "lastModified": 1705309234,
         "narHash": "sha256-uNRRNRKmJyCRC/8y1RqBkqWBLM034y4qN7EprSdmgyA=",
@@ -251,11 +271,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1733093802,
-        "narHash": "sha256-bUjIOLocDumq6XdJ5mAuS4t3SMht9JKVYZ88BSQSiGs=",
+        "lastModified": 1734525368,
+        "narHash": "sha256-m1NcPmw1C4t9HbizKQxKAeRR5lTaKr5UKgpFHyIB7VQ=",
         "owner": "idris-lang",
         "repo": "Idris2",
-        "rev": "d176ab4108a42cd8423466a0e2450e17cc693b7c",
+        "rev": "457ca7c6effd66a3f49e721171b142f979bb7406",
         "type": "github"
       },
       "original": {
@@ -360,6 +380,22 @@
         "type": "github"
       }
     },
+    "idris-emacs-src_7": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1666078909,
+        "narHash": "sha256-oYNHFIpcrFfPb4sXJwEBFKeH+PB4AGCrAFrfBrSTCeo=",
+        "owner": "redfish64",
+        "repo": "idris2-mode",
+        "rev": "3bcb52a65c488f31c99d20f235f6050418a84c9d",
+        "type": "github"
+      },
+      "original": {
+        "owner": "redfish64",
+        "repo": "idris2-mode",
+        "type": "github"
+      }
+    },
     "idris2Lsp": {
       "inputs": {
         "alejandra": [
@@ -367,8 +403,36 @@
         ],
         "idris": "idris_2",
         "idris2Lsp": "idris2Lsp_2",
+        "lspLib": "lspLib_4",
+        "nixpkgs": [
+          "nixpkgs"
+        ]
+      },
+      "locked": {
+        "lastModified": 1734522401,
+        "narHash": "sha256-vmRb6IHU1N65bs4rD27Kvf7Ing6RmEUQTWIRIrC3vuA=",
+        "owner": "idris-community",
+        "repo": "idris2-lsp",
+        "rev": "8055815a4187b85af467fdde75de35ef7a549c46",
+        "type": "github"
+      },
+      "original": {
+        "owner": "idris-community",
+        "repo": "idris2-lsp",
+        "type": "github"
+      }
+    },
+    "idris2Lsp_2": {
+      "inputs": {
+        "alejandra": [
+          "idris2Lsp",
+          "alejandra"
+        ],
+        "idris": "idris_3",
+        "idris2Lsp": "idris2Lsp_3",
         "lspLib": "lspLib_3",
         "nixpkgs": [
+          "idris2Lsp",
           "nixpkgs"
         ]
       },
@@ -386,16 +450,18 @@
         "type": "github"
       }
     },
-    "idris2Lsp_2": {
+    "idris2Lsp_3": {
       "inputs": {
         "alejandra": [
+          "idris2Lsp",
           "idris2Lsp",
           "alejandra"
         ],
-        "idris": "idris_3",
-        "idris2Lsp": "idris2Lsp_3",
+        "idris": "idris_4",
+        "idris2Lsp": "idris2Lsp_4",
         "lspLib": "lspLib_2",
         "nixpkgs": [
+          "idris2Lsp",
           "idris2Lsp",
           "nixpkgs"
         ]
@@ -414,17 +480,19 @@
         "type": "github"
       }
     },
-    "idris2Lsp_3": {
+    "idris2Lsp_4": {
       "inputs": {
         "alejandra": [
+          "idris2Lsp",
           "idris2Lsp",
           "idris2Lsp",
           "alejandra"
         ],
-        "idris": "idris_4",
-        "idris2Lsp": "idris2Lsp_4",
+        "idris": "idris_5",
+        "idris2Lsp": "idris2Lsp_5",
         "lspLib": "lspLib",
         "nixpkgs": [
+          "idris2Lsp",
           "idris2Lsp",
           "idris2Lsp",
           "nixpkgs"
@@ -444,20 +512,22 @@
         "type": "github"
       }
     },
-    "idris2Lsp_4": {
+    "idris2Lsp_5": {
       "inputs": {
         "alejandra": [
           "idris2Lsp",
           "idris2Lsp",
           "idris2Lsp",
+          "idris2Lsp",
           "alejandra"
         ],
-        "idris": "idris_5",
+        "idris": "idris_6",
         "lsp-lib": "lsp-lib",
         "nixpkgs": [
           "idris2Lsp",
           "idris2Lsp",
           "idris2Lsp",
+          "idris2Lsp",
           "nixpkgs"
         ]
       },
@@ -475,16 +545,17 @@
         "type": "github"
       }
     },
-    "idris2Lsp_5": {
+    "idris2Lsp_6": {
       "inputs": {
         "alejandra": "alejandra_2",
-        "idris": "idris_6",
+        "idris": "idris_7",
         "lsp-lib": "lsp-lib_2",
         "nixpkgs": [
           "idris2Lsp",
           "idris2Lsp",
           "idris2Lsp",
           "idris2Lsp",
+          "idris2Lsp",
           "lsp-lib",
           "nixpkgs"
         ]
@@ -513,11 +584,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1731023033,
-        "narHash": "sha256-+w/9HxFMEGjgPy6VCac6ud5hVqd7cwMUpEEjp5CQvZ8=",
+        "lastModified": 1733093802,
+        "narHash": "sha256-bUjIOLocDumq6XdJ5mAuS4t3SMht9JKVYZ88BSQSiGs=",
         "owner": "idris-lang",
         "repo": "Idris2",
-        "rev": "fc3d2a04dcd7571b8f736ee24b0fd25eefa408e9",
+        "rev": "d176ab4108a42cd8423466a0e2450e17cc693b7c",
         "type": "github"
       },
       "original": {
@@ -537,11 +608,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1726357373,
-        "narHash": "sha256-WGsJRL25W97Bc08rRwrNj3aIxRtW+xpVrPW4o1Tms1Q=",
+        "lastModified": 1731023033,
+        "narHash": "sha256-+w/9HxFMEGjgPy6VCac6ud5hVqd7cwMUpEEjp5CQvZ8=",
         "owner": "idris-lang",
         "repo": "Idris2",
-        "rev": "6d02c52102331b225303dbf51781d508eeb06edd",
+        "rev": "fc3d2a04dcd7571b8f736ee24b0fd25eefa408e9",
         "type": "github"
       },
       "original": {
@@ -562,11 +633,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1719576576,
-        "narHash": "sha256-aSKhNLCT/DVAF/gT73h3V+qqfpdM5mYtjTgzyaLEuso=",
+        "lastModified": 1726357373,
+        "narHash": "sha256-WGsJRL25W97Bc08rRwrNj3aIxRtW+xpVrPW4o1Tms1Q=",
         "owner": "idris-lang",
         "repo": "Idris2",
-        "rev": "57f455d135ded025e33e236fd010f6570c46fc6e",
+        "rev": "6d02c52102331b225303dbf51781d508eeb06edd",
         "type": "github"
       },
       "original": {
@@ -588,11 +659,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1719329838,
-        "narHash": "sha256-J/QmVnC7FhFB6OCeGa7tZKrG2rv+ieUxu1JJXLrAL5g=",
+        "lastModified": 1719576576,
+        "narHash": "sha256-aSKhNLCT/DVAF/gT73h3V+qqfpdM5mYtjTgzyaLEuso=",
         "owner": "idris-lang",
         "repo": "Idris2",
-        "rev": "3649821625eccc4e08ab357e0dfe27534d993e47",
+        "rev": "57f455d135ded025e33e236fd010f6570c46fc6e",
         "type": "github"
       },
       "original": {
@@ -606,6 +677,34 @@
         "flake-utils": "flake-utils_6",
         "idris-emacs-src": "idris-emacs-src_6",
         "nixpkgs": [
+          "idris2Lsp",
+          "idris2Lsp",
+          "idris2Lsp",
+          "idris2Lsp",
+          "idris2Lsp",
+          "nixpkgs"
+        ]
+      },
+      "locked": {
+        "lastModified": 1719329838,
+        "narHash": "sha256-J/QmVnC7FhFB6OCeGa7tZKrG2rv+ieUxu1JJXLrAL5g=",
+        "owner": "idris-lang",
+        "repo": "Idris2",
+        "rev": "3649821625eccc4e08ab357e0dfe27534d993e47",
+        "type": "github"
+      },
+      "original": {
+        "owner": "idris-lang",
+        "repo": "Idris2",
+        "type": "github"
+      }
+    },
+    "idris_7": {
+      "inputs": {
+        "flake-utils": "flake-utils_7",
+        "idris-emacs-src": "idris-emacs-src_7",
+        "nixpkgs": [
+          "idris2Lsp",
           "idris2Lsp",
           "idris2Lsp",
           "idris2Lsp",
@@ -636,14 +735,16 @@
           "idris2Lsp",
           "idris2Lsp",
           "idris2Lsp",
+          "idris2Lsp",
           "idris"
         ],
-        "idris2Lsp": "idris2Lsp_5",
+        "idris2Lsp": "idris2Lsp_6",
         "nixpkgs": [
           "idris2Lsp",
           "idris2Lsp",
           "idris2Lsp",
           "idris2Lsp",
+          "idris2Lsp",
           "nixpkgs"
         ]
       },
@@ -668,6 +769,7 @@
           "idris2Lsp",
           "idris2Lsp",
           "idris2Lsp",
+          "idris2Lsp",
           "lsp-lib",
           "idris2Lsp",
           "idris"
@@ -677,6 +779,7 @@
           "idris2Lsp",
           "idris2Lsp",
           "idris2Lsp",
+          "idris2Lsp",
           "lsp-lib",
           "idris2Lsp",
           "nixpkgs"
@@ -702,18 +805,21 @@
           "idris2Lsp",
           "idris2Lsp",
           "idris2Lsp",
+          "idris2Lsp",
           "idris"
         ],
         "idris2Lsp": [
           "idris2Lsp",
           "idris2Lsp",
           "idris2Lsp",
+          "idris2Lsp",
           "idris2Lsp"
         ],
         "nixpkgs": [
           "idris2Lsp",
           "idris2Lsp",
           "idris2Lsp",
+          "idris2Lsp",
           "nixpkgs"
         ]
       },
@@ -734,16 +840,19 @@
     "lspLib_2": {
       "inputs": {
         "idris": [
+          "idris2Lsp",
           "idris2Lsp",
           "idris2Lsp",
           "idris"
         ],
         "idris2Lsp": [
+          "idris2Lsp",
           "idris2Lsp",
           "idris2Lsp",
           "idris2Lsp"
         ],
         "nixpkgs": [
+          "idris2Lsp",
           "idris2Lsp",
           "idris2Lsp",
           "nixpkgs"
@@ -766,14 +875,17 @@
     "lspLib_3": {
       "inputs": {
         "idris": [
+          "idris2Lsp",
           "idris2Lsp",
           "idris"
         ],
         "idris2Lsp": [
+          "idris2Lsp",
           "idris2Lsp",
           "idris2Lsp"
         ],
         "nixpkgs": [
+          "idris2Lsp",
           "idris2Lsp",
           "nixpkgs"
         ]
@@ -793,6 +905,35 @@
       }
     },
     "lspLib_4": {
+      "inputs": {
+        "idris": [
+          "idris2Lsp",
+          "idris"
+        ],
+        "idris2Lsp": [
+          "idris2Lsp",
+          "idris2Lsp"
+        ],
+        "nixpkgs": [
+          "idris2Lsp",
+          "nixpkgs"
+        ]
+      },
+      "locked": {
+        "lastModified": 1733093814,
+        "narHash": "sha256-vq9hueMpPZ+WA46lUkIXk3BPf3dL+nM+f80UDBOfdFA=",
+        "owner": "idris-community",
+        "repo": "LSP-lib",
+        "rev": "8ff3a886c0dc41a9eebea6ec5956349752d29714",
+        "type": "github"
+      },
+      "original": {
+        "owner": "idris-community",
+        "repo": "LSP-lib",
+        "type": "github"
+      }
+    },
+    "lspLib_5": {
       "inputs": {
         "idris": [
           "idris"
@@ -820,11 +961,11 @@
     },
     "nixpkgs": {
       "locked": {
-        "lastModified": 1733108608,
-        "narHash": "sha256-ckKeHZ8YO9rOAKF4g1hanhh7xOrq/xT0FFKVy7nF76g=",
+        "lastModified": 1735182911,
+        "narHash": "sha256-aQ5kNzAFdAozUBdEtxtOZDrG0XX/7EPezJS0rM7zbUc=",
         "owner": "nixos",
         "repo": "nixpkgs",
-        "rev": "274e92547fb8df49ab0e2376b50a5e1397822995",
+        "rev": "354e6458a997dbc287b32bbd38d64721fb7d2a6d",
         "type": "github"
       },
       "original": {
@@ -838,7 +979,7 @@
         "alejandra": "alejandra",
         "idris": "idris",
         "idris2Lsp": "idris2Lsp",
-        "lspLib": "lspLib_4",
+        "lspLib": "lspLib_5",
         "nixpkgs": "nixpkgs"
       }
     },
@@ -965,6 +1106,21 @@
         "repo": "default",
         "type": "github"
       }
+    },
+    "systems_7": {
+      "locked": {
+        "lastModified": 1681028828,
+        "narHash": "sha256-Vy1rq5AaRuLzOxct8nz4T6wlgyUR7zLU309k9mBC768=",
+        "owner": "nix-systems",
+        "repo": "default",
+        "rev": "da67096a3b9bf56a91d16901293e51ba5b49a27e",
+        "type": "github"
+      },
+      "original": {
+        "owner": "nix-systems",
+        "repo": "default",
+        "type": "github"
+      }
     }
   },
   "root": "root",