diff options
Diffstat (limited to 'samples/rosetta/ackermann-function.bruijn')
| -rw-r--r-- | samples/rosetta/ackermann-function.bruijn | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/samples/rosetta/ackermann-function.bruijn b/samples/rosetta/ackermann-function.bruijn deleted file mode 100644 index c0689f1..0000000 --- a/samples/rosetta/ackermann-function.bruijn +++ /dev/null @@ -1,17 +0,0 @@ -: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]] |