diff --git a/Idris2 b/Idris2
index 57f455d..fc3d2a0 160000
--- a/Idris2
+++ b/Idris2
@@ -1 +1 @@
-Subproject commit 57f455d135ded025e33e236fd010f6570c46fc6e
+Subproject commit fc3d2a04dcd7571b8f736ee24b0fd25eefa408e9
diff --git a/flake.lock b/flake.lock
index aa8f1c5..4db2cca 100644
--- a/flake.lock
+++ b/flake.lock
@@ -28,6 +28,7 @@
         "fenix": "fenix_2",
         "flakeCompat": "flakeCompat_2",
         "nixpkgs": [
+          "idris2Lsp",
           "idris2Lsp",
           "idris2Lsp",
           "lsp-lib",
@@ -75,6 +76,7 @@
     "fenix_2": {
       "inputs": {
         "nixpkgs": [
+          "idris2Lsp",
           "idris2Lsp",
           "idris2Lsp",
           "lsp-lib",
@@ -156,6 +158,24 @@
       "inputs": {
         "systems": "systems_4"
       },
+      "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_5": {
+      "inputs": {
+        "systems": "systems_5"
+      },
       "locked": {
         "lastModified": 1705309234,
         "narHash": "sha256-uNRRNRKmJyCRC/8y1RqBkqWBLM034y4qN7EprSdmgyA=",
@@ -211,11 +231,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": {
@@ -288,6 +308,22 @@
         "type": "github"
       }
     },
+    "idris-emacs-src_5": {
+      "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": [
@@ -295,8 +331,36 @@
         ],
         "idris": "idris_2",
         "idris2Lsp": "idris2Lsp_2",
+        "lspLib": "lspLib_2",
+        "nixpkgs": [
+          "nixpkgs"
+        ]
+      },
+      "locked": {
+        "lastModified": 1730552961,
+        "narHash": "sha256-VQyZxHu8dR0fOxjsKhUy/PDxvsBXNYFgVzzAvwXpC9c=",
+        "owner": "idris-community",
+        "repo": "idris2-lsp",
+        "rev": "4ec24c88f757027028c23c6ce2c541e46e5d1191",
+        "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",
         "nixpkgs": [
+          "idris2Lsp",
           "nixpkgs"
         ]
       },
@@ -314,15 +378,17 @@
         "type": "github"
       }
     },
-    "idris2Lsp_2": {
+    "idris2Lsp_3": {
       "inputs": {
         "alejandra": [
+          "idris2Lsp",
           "idris2Lsp",
           "alejandra"
         ],
-        "idris": "idris_3",
+        "idris": "idris_4",
         "lsp-lib": "lsp-lib",
         "nixpkgs": [
+          "idris2Lsp",
           "idris2Lsp",
           "nixpkgs"
         ]
@@ -341,12 +407,13 @@
         "type": "github"
       }
     },
-    "idris2Lsp_3": {
+    "idris2Lsp_4": {
       "inputs": {
         "alejandra": "alejandra_2",
-        "idris": "idris_4",
+        "idris": "idris_5",
         "lsp-lib": "lsp-lib_2",
         "nixpkgs": [
+          "idris2Lsp",
           "idris2Lsp",
           "idris2Lsp",
           "lsp-lib",
@@ -377,11 +444,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": {
@@ -401,11 +468,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": {
@@ -419,6 +486,32 @@
         "flake-utils": "flake-utils_4",
         "idris-emacs-src": "idris-emacs-src_4",
         "nixpkgs": [
+          "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_5": {
+      "inputs": {
+        "flake-utils": "flake-utils_5",
+        "idris-emacs-src": "idris-emacs-src_5",
+        "nixpkgs": [
+          "idris2Lsp",
           "idris2Lsp",
           "idris2Lsp",
           "lsp-lib",
@@ -443,12 +536,14 @@
     "lsp-lib": {
       "inputs": {
         "idris": [
+          "idris2Lsp",
           "idris2Lsp",
           "idris2Lsp",
           "idris"
         ],
-        "idris2Lsp": "idris2Lsp_3",
+        "idris2Lsp": "idris2Lsp_4",
         "nixpkgs": [
+          "idris2Lsp",
           "idris2Lsp",
           "idris2Lsp",
           "nixpkgs"
@@ -471,6 +566,7 @@
     "lsp-lib_2": {
       "inputs": {
         "idris": [
+          "idris2Lsp",
           "idris2Lsp",
           "idris2Lsp",
           "lsp-lib",
@@ -478,6 +574,7 @@
           "idris"
         ],
         "nixpkgs": [
+          "idris2Lsp",
           "idris2Lsp",
           "idris2Lsp",
           "lsp-lib",
@@ -502,14 +599,17 @@
     "lspLib": {
       "inputs": {
         "idris": [
+          "idris2Lsp",
           "idris2Lsp",
           "idris"
         ],
         "idris2Lsp": [
+          "idris2Lsp",
           "idris2Lsp",
           "idris2Lsp"
         ],
         "nixpkgs": [
+          "idris2Lsp",
           "idris2Lsp",
           "nixpkgs"
         ]
@@ -529,6 +629,35 @@
       }
     },
     "lspLib_2": {
+      "inputs": {
+        "idris": [
+          "idris2Lsp",
+          "idris"
+        ],
+        "idris2Lsp": [
+          "idris2Lsp",
+          "idris2Lsp"
+        ],
+        "nixpkgs": [
+          "idris2Lsp",
+          "nixpkgs"
+        ]
+      },
+      "locked": {
+        "lastModified": 1719582869,
+        "narHash": "sha256-C83mH8vzGcV2xcRNUxhks5kFyMkqzCN50cxryyLBV1U=",
+        "owner": "idris-community",
+        "repo": "LSP-lib",
+        "rev": "b54136be0656c5040397c5a83220b350ea3f29cc",
+        "type": "github"
+      },
+      "original": {
+        "owner": "idris-community",
+        "repo": "LSP-lib",
+        "type": "github"
+      }
+    },
+    "lspLib_3": {
       "inputs": {
         "idris": [
           "idris"
@@ -556,11 +685,11 @@
     },
     "nixpkgs": {
       "locked": {
-        "lastModified": 1726426284,
-        "narHash": "sha256-/6JSXGAxMcDSzuNc9R0vI4QEavG6480RnUapsBX0M74=",
+        "lastModified": 1731045408,
+        "narHash": "sha256-Obq4OmTKvIsEmS8UqGwJklzn7j6ndkQDblObb1un+gA=",
         "owner": "nixos",
         "repo": "nixpkgs",
-        "rev": "54fd37d0ca129cac257d796eeb2e4215dda984f8",
+        "rev": "a54c7dcc8e79ec17aab7edcefd9e96a94b2ecaf7",
         "type": "github"
       },
       "original": {
@@ -574,7 +703,7 @@
         "alejandra": "alejandra",
         "idris": "idris",
         "idris2Lsp": "idris2Lsp",
-        "lspLib": "lspLib_2",
+        "lspLib": "lspLib_3",
         "nixpkgs": "nixpkgs"
       }
     },
@@ -671,6 +800,21 @@
         "repo": "default",
         "type": "github"
       }
+    },
+    "systems_5": {
+      "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",