ocaml/problems/encoding_horror

   1 D z (y (x a b))\r
   2 C z (x BOMB)\r
   3 C z (_._.BOT)\r
   4 C y (x a b)\r
   5 \r
   6 #\r
   7  - z must step\r
   8  - x can't step\r
   9  - x y can eat, but then a number applied to b must converge\r
  10    (possible encoding numbers as `\lambda...\lambda. old_encoding`)\r