Real evil problem found!

One must store arguments for later usage :-(

diff --git a/ocaml/problems/simple.evil b/ocaml/problems/simple.evil
new file mode 100644 (file)
index 0000000..e4d4b64
--- /dev/null
+++ b/ocaml/problems/simple.evil
@@ -0,0 +1,3 @@
+$!\r
+D x (y. x (z. y z))\r
+C x (y. x (z. y y))\r