update idris2 and lsp-lib dependencies (idris-community#232)

mattpolzin · web-flow · commit e2c4c53997ce · 2024-12-01T21:45:34.000-06:00
diff --git a/Idris2 b/Idris2
@@ -1 +1 @@
-Subproject commit fc3d2a04dcd7571b8f736ee24b0fd25eefa408e9
+Subproject commit d176ab4108a42cd8423466a0e2450e17cc693b7c
diff --git a/LSP-lib b/LSP-lib
@@ -1 +1 @@
-Subproject commit b54136be0656c5040397c5a83220b350ea3f29cc
+Subproject commit 8ff3a886c0dc41a9eebea6ec5956349752d29714
diff --git a/flake.lock b/flake.lock
