diff options
Diffstat (limited to 'samples/rosetta/ackermann_function.bruijn')
| -rw-r--r-- | samples/rosetta/ackermann_function.bruijn | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/samples/rosetta/ackermann_function.bruijn b/samples/rosetta/ackermann_function.bruijn new file mode 100644 index 0000000..c0689f1 --- /dev/null +++ b/samples/rosetta/ackermann_function.bruijn @@ -0,0 +1,17 @@ +:import std/Combinator . +:import std/Number/Unary U +:import std/Math . + +# unary ackermann +ackermann-unary [0 [[U.inc 0 1 (+1u)]] U.inc] + +:test (ackermann-unary (+0u) (+0u)) ((+1u)) +:test (ackermann-unary (+3u) (+4u)) ((+125u)) + +# ternary ackermann (lower space complexity) +ackermann-ternary y [[[=?1 ++0 (=?0 (2 --1 (+1)) (2 --1 (2 1 --0)))]]] + +:test ((ackermann-ternary (+0) (+0)) =? (+1)) ([[1]]) +:test ((ackermann-ternary (+3) (+4)) =? (+125)) ([[1]]) + +main [[0]] |