Update README.md

tomaz1502 · Sep 7, 2024 · 2751dbe · 2751dbe
1 parent 8e8d011
commit 2751dbe
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -23,7 +23,7 @@ Build with the `build.sh` script.
     + [x] Uninterpreted (opaque) Types
     + [x] Numbers, booleans, ITE
     + [ ] Equality, Strings
-    + [ ] Pairs
+    + [x] Pairs
     + [ ] Sums
     + [ ] General recursion
     + [ ] Pattern Matching