From a30145e547949ed79aba9d54426515fcf556e0a6 Mon Sep 17 00:00:00 2001 From: acondolu Date: Sat, 2 Jun 2018 17:59:07 +0200 Subject: [PATCH] Forgot to commit yesterday file with problems with constants --- ocaml/problems/simple.constants.1 | 23 +++++++++++++++++++++++ 1 file changed, 23 insertions(+) create mode 100644 ocaml/problems/simple.constants.1 diff --git a/ocaml/problems/simple.constants.1 b/ocaml/problems/simple.constants.1 new file mode 100644 index 0000000..6cf666d --- /dev/null +++ b/ocaml/problems/simple.constants.1 @@ -0,0 +1,23 @@ +$! simple.constants.1/3 +D y (x C a) (x b C) +C y (x C a) (x @ C) +C y (x @ @) (x b C) + +$! simple.constants.1/1 +D y (x (y C)) +C y (x @) + +$! simple.constants.1/1' +D y (z. x (y C)) +C y (z. x z) + +$! simple.constants.1/2 +D y (x (y C (x C))) +C y (x (y C @)) + + +$! simple.constants.1/4 +D y (x C a) (x b C) (y C c) +C y (x C a) (x @ C) (y C c) +C y (x @ @) (x b C) (y C c) +C y (x C a) (x b C) (y C @) -- 2.39.2