Forgot to commit yesterday file with problems with constants

diff --git a/ocaml/problems/simple.constants.1 b/ocaml/problems/simple.constants.1
new file mode 100644 (file)
index 0000000..6cf666d
--- /dev/null
+++ b/ocaml/problems/simple.constants.1
@@ -0,0 +1,23 @@
+$! simple.constants.1/3\r
+D y (x C a) (x b C)\r
+C y (x C a) (x @ C)\r
+C y (x @ @) (x b C)\r
+\r
+$! simple.constants.1/1\r
+D y (x (y C))\r
+C y (x @)\r
+\r
+$! simple.constants.1/1'\r
+D y (z. x (y C))\r
+C y (z. x z)\r
+\r
+$! simple.constants.1/2\r
+D y (x (y C (x C)))\r
+C y (x (y C @))\r
+\r
+\r
+$! simple.constants.1/4\r
+D y (x C a) (x b C) (y C c)\r
+C y (x C a) (x @ C) (y C c)\r
+C y (x @ @) (x b C) (y C c)\r
+C y (x C a) (x b C) (y C @)\r