More evil problems

[fireball-separation.git] / ocaml / problems / simple.evil

diff --git a/ocaml/problems/simple.evil b/ocaml/problems/simple.evil
index e4d4b64770b9d9d3190f714d3841b3c5762b0d22..60c3bbf42df1312c8327d03b3d21dad38e52cb46 100644 (file)
--- a/ocaml/problems/simple.evil
+++ b/ocaml/problems/simple.evil
@@ -1,3 +1,15 @@
 $!\r
 D x (y. x (z. y z))\r
 C x (y. x (z. y y))\r
+\r
+$!\r
+D x (y1. x (y2. x (y3. y1 y2 y3)))\r
+C x (y1. x (y2. x (y3. y1 y1 y3)))\r
+C x (y1. x (y2. x (y3. y1 y3 y3)))\r
+C x (y1. x (y2. x (y3. y1 y2 y1)))\r
+C x (y1. x (y2. x (y3. y1 y2 y2)))\r
+\r
+$!\r
+D x (y1. x (y2. x (y3. x (y4. y1 y2 y3 y4))))\r
+C x (y1. x (y2. x (y3. x (y4. y1 y2 y3 y1))))\r
+C x (y1. x (y2. x (y3. x (y4. y1 y2 y1 y4))))\r