diff --git a/package-lock.json b/package-lock.json
index 1b09282..bc2706c 100644
--- a/package-lock.json
+++ b/package-lock.json
@@ -8,13 +8,13 @@
       "name": "coq-jr",
       "version": "0.1.0",
       "devDependencies": {
-        "rescript": "^12.2.0"
+        "rescript": "^12.3.0"
       }
     },
     "node_modules/@rescript/darwin-arm64": {
-      "version": "12.2.0",
-      "resolved": "https://registry.npmjs.org/@rescript/darwin-arm64/-/darwin-arm64-12.2.0.tgz",
-      "integrity": "sha512-xc3K/J7Ujl1vPiFY2009mRf3kWRlUe/VZyJWprseKxlcEtUQv89ter7r6pY+YFbtYvA/fcaEncL9CVGEdattAg==",
+      "version": "12.3.0",
+      "resolved": "https://registry.npmjs.org/@rescript/darwin-arm64/-/darwin-arm64-12.3.0.tgz",
+      "integrity": "sha512-tw0E+XcpPoFj3KizsT5qS/5O/dILi0NBZAz5I8ONK+F43qcqDJDDO+Ise45rGoNWhjwt9WOerYnOd0eUe3U9GA==",
       "cpu": [
         "arm64"
       ],
@@ -29,9 +29,9 @@
       }
     },
     "node_modules/@rescript/darwin-x64": {
-      "version": "12.2.0",
-      "resolved": "https://registry.npmjs.org/@rescript/darwin-x64/-/darwin-x64-12.2.0.tgz",
-      "integrity": "sha512-qqcTvnlSeoKkywLjG7cXfYvKZ1e4Gz2kUKcD6SiqDgCqm8TF+spwlFAiM6sloRUOFsc0bpC/0R0B3yr01FCB1A==",
+      "version": "12.3.0",
+      "resolved": "https://registry.npmjs.org/@rescript/darwin-x64/-/darwin-x64-12.3.0.tgz",
+      "integrity": "sha512-dW2R31PpBvPjSy50mSd9zKOT3dFw/gKtsUZoML81fPuXPJh0h5rwu9z3S40UUUzOa68uKNxXcVLrG1RAgs20Bw==",
       "cpu": [
         "x64"
       ],
@@ -46,9 +46,9 @@
       }
     },
     "node_modules/@rescript/linux-arm64": {
-      "version": "12.2.0",
-      "resolved": "https://registry.npmjs.org/@rescript/linux-arm64/-/linux-arm64-12.2.0.tgz",
-      "integrity": "sha512-ODmpG3ji+Nj/8d5yvXkeHlfKkmbw1Q4t1iIjVuNwtmFpz7TiEa7n/sQqoYdE+WzbDX3DoJfmJNbp3Ob7qCUoOg==",
+      "version": "12.3.0",
+      "resolved": "https://registry.npmjs.org/@rescript/linux-arm64/-/linux-arm64-12.3.0.tgz",
+      "integrity": "sha512-4GImq346kefHtaMhruFxVwWmr2shWEGQzAGdgZzn5zNWFN32hOXnztHjSFUmj5gmK9fFbidx/oB3BwdbRp5QFQ==",
       "cpu": [
         "arm64"
       ],
@@ -63,9 +63,9 @@
       }
     },
     "node_modules/@rescript/linux-x64": {
-      "version": "12.2.0",
-      "resolved": "https://registry.npmjs.org/@rescript/linux-x64/-/linux-x64-12.2.0.tgz",
-      "integrity": "sha512-2W9Y9/g19Y4F/subl8yV3T8QBG2oRaP+HciNRcBjptyEdw9LmCKH8+rhWO6sp3E+nZLwoE2IAkwH0WKV3wqlxQ==",
+      "version": "12.3.0",
+      "resolved": "https://registry.npmjs.org/@rescript/linux-x64/-/linux-x64-12.3.0.tgz",
+      "integrity": "sha512-0bPcKI0M38EpoFbhLz2w8ZAY3oZ0GWChwcDn43AN2EAWGLiCORhLP6biqRDg37jK/Bh8Y0MhYzjNWIeHoEDINQ==",
       "cpu": [
         "x64"
       ],
@@ -80,16 +80,16 @@
       }
     },
     "node_modules/@rescript/runtime": {
-      "version": "12.2.0",
-      "resolved": "https://registry.npmjs.org/@rescript/runtime/-/runtime-12.2.0.tgz",
-      "integrity": "sha512-NwfljDRq1rjFPHUaca1nzFz13xsa9ZGkBkLvMhvVgavJT5+A4rMcLu8XAaVTi/oAhO/tlHf9ZDoOTF1AfyAk9Q==",
+      "version": "12.3.0",
+      "resolved": "https://registry.npmjs.org/@rescript/runtime/-/runtime-12.3.0.tgz",
+      "integrity": "sha512-8SRM2f6+LaWach8NJjYQVCCmu6KYmJCb+437L7YpaUpJBDyUOC1x0FF75shZ/Gid9guKPF3zMHrTNHLuyQkkiQ==",
       "dev": true,
       "license": "MIT"
     },
     "node_modules/@rescript/win32-x64": {
-      "version": "12.2.0",
-      "resolved": "https://registry.npmjs.org/@rescript/win32-x64/-/win32-x64-12.2.0.tgz",
-      "integrity": "sha512-fhf8CBj3p1lkIXPeNko3mVTKQfXXm4BoxJtR1xAXxUn43wDpd8Lox4w8/EPBbbW6C/YFQW6H7rtpY+2AKuNaDA==",
+      "version": "12.3.0",
+      "resolved": "https://registry.npmjs.org/@rescript/win32-x64/-/win32-x64-12.3.0.tgz",
+      "integrity": "sha512-TM1aLfn8IJFi0/ztVwHqQOcmJg4jWFCmXjrIS9Tif+6Gx8NdX8ttommUscUghe+Dn2pI382FvqPPNWRUR3AI8g==",
       "cpu": [
         "x64"
       ],
@@ -104,9 +104,9 @@
       }
     },
     "node_modules/rescript": {
-      "version": "12.2.0",
-      "resolved": "https://registry.npmjs.org/rescript/-/rescript-12.2.0.tgz",
-      "integrity": "sha512-1Jf2cmNhyx5Mj2vwZ4XXPcXvNSjGj9D1jPBUcoqIOqRpLPo1ch2Ta/7eWh23xAHWHK5ow7BCDyYFjvZSjyjLzg==",
+      "version": "12.3.0",
+      "resolved": "https://registry.npmjs.org/rescript/-/rescript-12.3.0.tgz",
+      "integrity": "sha512-xdnpEoDNoeYjZ8HHATwKJEfWti1Nqwx266edfUC8378a5AO1VvZElj2ZZ/SIJNFgUnohH9yDThB+CHEQfijxKw==",
       "dev": true,
       "license": "(LGPL-3.0-or-later AND MIT)",
       "workspaces": [
@@ -121,7 +121,7 @@
         "scripts/res"
       ],
       "dependencies": {
-        "@rescript/runtime": "12.2.0"
+        "@rescript/runtime": "12.3.0"
       },
       "bin": {
         "bsc": "cli/bsc.js",
@@ -134,11 +134,11 @@
         "node": ">=20.11.0"
       },
       "optionalDependencies": {
-        "@rescript/darwin-arm64": "12.2.0",
-        "@rescript/darwin-x64": "12.2.0",
-        "@rescript/linux-arm64": "12.2.0",
-        "@rescript/linux-x64": "12.2.0",
-        "@rescript/win32-x64": "12.2.0"
+        "@rescript/darwin-arm64": "12.3.0",
+        "@rescript/darwin-x64": "12.3.0",
+        "@rescript/linux-arm64": "12.3.0",
+        "@rescript/linux-x64": "12.3.0",
+        "@rescript/win32-x64": "12.3.0"
       }
     }
   }
diff --git a/package.json b/package.json
index 8980978..ba0bbd1 100644
--- a/package.json
+++ b/package.json
@@ -9,7 +9,7 @@
     "res:watch": "rescript build -w"
   },
   "devDependencies": {
-    "rescript": "^12.2.0"
+    "rescript": "^12.3.0"
   },
   "dependencies": {}
 }