ocaml/problems/simple.constants.1

   1 $! simple.constants.1/3\r
   2 D y (x C a) (x b C)\r
   3 C y (x C a) (x @ C)\r
   4 C y (x @ @) (x b C)\r
   5 \r
   6 #is this the problem that requires to make\r
   7 # x (y C) diverge instead?\r
   8 #$! simple.constants.1/1\r
   9 #D y (x (y C))\r
  10 #C y (x @)\r
  11 \r
  12 #is this the problem that requires to make\r
  13 # x (y C) diverge instead?\r
  14 #$! simple.constants.1/1'\r
  15 #D y (z. x (y C))\r
  16 #C y (z. x z)\r
  17 \r
  18 $! simple.constants.1/2\r
  19 D y (x (y C (x C)))\r
  20 C y (x (y C @))\r
  21 \r
  22 \r
  23 $! simple.constants.1/4\r
  24 D y (x C a) (x b C) (y C c)\r
  25 C y (x C a) (x @ C) (y C c)\r
  26 C y (x @ @) (x b C) (y C c)\r
  27 C y (x C a) (x b C) (y C @)\r