Added horrible problem, showing hard dependency on encodings

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