diff --git a/stack.yaml.lock b/stack.yaml.lock
deleted file mode 100644
index b176c39..0000000
--- a/stack.yaml.lock
+++ /dev/null
@@ -1,110 +0,0 @@
-# This file was autogenerated by Stack.
-# You should not edit this file by hand.
-# For more information, please see the documentation at:
-#   https://docs.haskellstack.org/en/stable/lock_files
-
-packages:
-- completed:
-    hackage: store-0.7.18@sha256:af32079e0d31413b97a1759f8ad8555507857cd4ac4015e195fb5b0a27a3ce9f,8159
-    pantry-tree:
-      sha256: 6e9fb2c1c59a9f2fb62abd0016841417b57b9a3e045088d48d65cc740cb1eeb9
-      size: 1292
-  original:
-    hackage: store-0.7.18@sha256:af32079e0d31413b97a1759f8ad8555507857cd4ac4015e195fb5b0a27a3ce9f,8159
-- completed:
-    hackage: store-core-0.4.4.7@sha256:a2ea427ff0dde30252474dcb0641cb6928cb8a93cd5ee27d4c22adba8e729683,1489
-    pantry-tree:
-      sha256: 67828df739695d14f81cd572a3085c76f65ac75f8417095afef8dfb2815f523e
-      size: 271
-  original:
-    hackage: store-core-0.4.4.7@sha256:a2ea427ff0dde30252474dcb0641cb6928cb8a93cd5ee27d4c22adba8e729683,1489
-- completed:
-    hackage: rest-rewrite-0.4.3@sha256:915fb98b8c0a0f518c1a4b75bcf3ae27a3ebd5b10d60cc16a216c2fca2148ab0,3929
-    pantry-tree:
-      sha256: 4de44fbeb7bd655caeafe605406c0bc5fe1788d9cf37cdac2f18b018ee4cf5e6
-      size: 4075
-  original:
-    hackage: rest-rewrite-0.4.3
-- completed:
-    hackage: smtlib-backends-0.3@sha256:a947aead99f6a314833bddca9b502d5faea8d3bd2fc76ffb53c34d5c5b7557bc,1211
-    pantry-tree:
-      sha256: 97b88a647ac996808a93b2eab62e9e8574d9b9a451ee37a9103e209b63be012d
-      size: 275
-  original:
-    hackage: smtlib-backends-0.3@rev:2
-- completed:
-    hackage: smtlib-backends-process-0.3@sha256:caf131d3d6f6825e3a3182713130a8e14d0bd6530eeda643e8a511b546ff1a26,1676
-    pantry-tree:
-      sha256: 7147fef29b4270275168a285fc0c68784329d1276ab9e44e9a45f8d79b526220
-      size: 461
-  original:
-    hackage: smtlib-backends-process-0.3@rev:2
-- completed:
-    commit: 4b20537529b2143cab0214564422c94fb93df9d9
-    git: https://github.com/ucsd-progsys/liquidhaskell
-    name: liquidhaskell
-    pantry-tree:
-      sha256: 9211c87ebc9f044a017c7ea04b81f391fed0d5ac02813c226a2540b5ed5086cb
-      size: 326126
-    subdir: .
-    version: 0.9.8.1
-  original:
-    commit: 4b20537529b2143cab0214564422c94fb93df9d9
-    git: https://github.com/ucsd-progsys/liquidhaskell
-    subdir: .
-- completed:
-    commit: 4b20537529b2143cab0214564422c94fb93df9d9
-    git: https://github.com/ucsd-progsys/liquidhaskell
-    name: liquidhaskell-boot
-    pantry-tree:
-      sha256: f187ea8674d6e8ccdfcc49500b0dac0a9ad87b952bb0f567c842557787cd9da3
-      size: 8175
-    subdir: liquidhaskell-boot
-    version: 0.9.8.1
-  original:
-    commit: 4b20537529b2143cab0214564422c94fb93df9d9
-    git: https://github.com/ucsd-progsys/liquidhaskell
-    subdir: liquidhaskell-boot
-- completed:
-    commit: 4b20537529b2143cab0214564422c94fb93df9d9
-    git: https://github.com/ucsd-progsys/liquidhaskell
-    name: liquid-prelude
-    pantry-tree:
-      sha256: e0b5d3b89feec11451cc17f17fb4712e7eff48ca200f1ce6ea1aba45c0aa8f98
-      size: 882
-    subdir: liquid-prelude
-    version: 0.9.2.8
-  original:
-    commit: 4b20537529b2143cab0214564422c94fb93df9d9
-    git: https://github.com/ucsd-progsys/liquidhaskell
-    subdir: liquid-prelude
-- completed:
-    commit: 4b20537529b2143cab0214564422c94fb93df9d9
-    git: https://github.com/ucsd-progsys/liquidhaskell
-    name: liquid-vector
-    pantry-tree:
-      sha256: bafea6cf606205b60695b6cdfa6b64c60c7cc8f9054b7fa5ed460d4c633ac39c
-      size: 231
-    subdir: liquid-vector
-    version: 0.13.1.0
-  original:
-    commit: 4b20537529b2143cab0214564422c94fb93df9d9
-    git: https://github.com/ucsd-progsys/liquidhaskell
-    subdir: liquid-vector
-- completed:
-    commit: 5b39f1a3c49190f9e438f9cdefd7d2635c5bf7f2
-    git: https://github.com/ucsd-progsys/liquid-fixpoint
-    name: liquid-fixpoint
-    pantry-tree:
-      sha256: f703433c37df88b1c1264cc3d5ff33f7cd1ee98a2b4381870ab8b3690be9eef8
-      size: 23600
-    version: 0.9.6.3
-  original:
-    commit: 5b39f1a3c49190f9e438f9cdefd7d2635c5bf7f2
-    git: https://github.com/ucsd-progsys/liquid-fixpoint
-snapshots:
-- completed:
-    sha256: 876a5c75d90718add42e1ad36d66000bf35050ce1c66748119897a32df613186
-    size: 563963
-    url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/nightly/2024/1/26.yaml
-  original: nightly-2024-01-26