From 3bf7726706488e3343d751e55e78159505757055 Mon Sep 17 00:00:00 2001
From: acondolu <andrea.condoluci@unibo.it>
Date: Mon, 11 Jun 2018 16:22:04 +0200
Subject: [PATCH] Real evil problem found!

One must store arguments for later usage :-(
---
 ocaml/problems/simple.evil | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 ocaml/problems/simple.evil

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