From f77b8aeb57b5ce0bcbc87a31a7f3dd74292e6d66 Mon Sep 17 00:00:00 2001
From: acondolu <andrea.condoluci@unibo.it>
Date: Wed, 26 Jul 2017 16:06:31 +0200
Subject: [PATCH] Added horrible problem, showing hard dependency on encodings

---
 ocaml/problems/encoding_horror | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 ocaml/problems/encoding_horror

diff --git a/ocaml/problems/encoding_horror b/ocaml/problems/encoding_horror
new file mode 100644
index 0000000..7e59102
--- /dev/null
+++ b/ocaml/problems/encoding_horror
@@ -0,0 +1,10 @@
+D z (y (x a b))
+C z (x BOMB)
+C z (_._.BOT)
+C y (x a b)
+
+#
+ - z must step
+ - x can't step
+ - x y can eat, but then a number applied to b must converge
+   (possible encoding numbers as `\lambda...\lambda. old_encoding`)
-- 
2.39.2