exponentiation example

igorw · igorw · commit e4e4f63fd5e7 · 2014-01-02T15:25:13.000+01:00
diff --git a/examples/eval.php b/examples/eval.php
@@ -44,6 +44,10 @@
 // λm.λn.λf.m (n f)
 $mult = ['λ', 'm', ['λ', 'n', ['λ', 'f', ['m', ['n', 'f']]]]];
 
+// exp
+// λm.λn.n m
+$exp = ['λ', 'm', ['λ', 'n', ['n', 'm']]];
+
 // Y combinator, recursion
 // does not work due to call-by-value, it loops forever
 // λf.(λx.f (x x)) (λx.f (x x))
@@ -146,3 +150,4 @@
 // var_dump(evaluate(to_int([$fact, $five])));
 // 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))));
