ocaml/problems/simple.evil

   1 $!\r
   2 D x (y. x (z. y z))\r
   3 C x (y. x (z. y y))\r
   4 \r
   5 $!\r
   6 D x (y1. x (y2. x (y3. y1 y2 y3)))\r
   7 C x (y1. x (y2. x (y3. y1 y1 y3)))\r
   8 C x (y1. x (y2. x (y3. y1 y3 y3)))\r
   9 C x (y1. x (y2. x (y3. y1 y2 y1)))\r
  10 C x (y1. x (y2. x (y3. y1 y2 y2)))\r
  11 \r
  12 $!\r
  13 D x (y1. x (y2. x (y3. x (y4. y1 y2 y3 y4))))\r
  14 C x (y1. x (y2. x (y3. x (y4. y1 y2 y3 y1))))\r
  15 C x (y1. x (y2. x (y3. x (y4. y1 y2 y1 y4))))\r
  16 \r
  17 $! the measure of the divergent is not sufficient\r
  18 D x y\r
  19 C x (y a)\r
  20 \r
  21 $! the measure of the divergent is badly not sufficient\r
  22 D x y\r
  23 C x (a. y (a b))\r