2014 church numeral

igorw · igorw · commit 7a58ad3198fb · 2014-01-02T15:33:21.000+01:00
diff --git a/examples/eval.php b/examples/eval.php
@@ -151,3 +151,9 @@
 // var_dump(evaluate(to_int([$fib, call($plus, $five, $two)])));
 // var_dump(evaluate(parse('(λf.f f) (λf.f f)')));
 // var_dump(evaluate(to_int(call($exp, $two, $three))));
+// var_dump(evaluate(to_int(
+//     call($sub,
+//          call($exp,
+//               $two,
+//               call($mult, $two, $five)),
+//          call($mult, $two, $five)))));
