diff options
| author | Marvin Borner | 2024-03-25 18:59:03 +0100 |
|---|---|---|
| committer | Marvin Borner | 2024-03-25 18:59:48 +0100 |
| commit | 14e38ce378236cf54924b58396168c1e94f8e6b2 (patch) | |
| tree | ecbbb75517695de8897a2a9c58aa1a97ec2546f5 /samples/rosetta/ackermann.bruijn | |
| parent | f8398804d351667a7b887b89f6f70c7d5c407d22 (diff) | |
Improved samples by adding links to problems
Diffstat (limited to 'samples/rosetta/ackermann.bruijn')
| -rw-r--r-- | samples/rosetta/ackermann.bruijn | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/samples/rosetta/ackermann.bruijn b/samples/rosetta/ackermann.bruijn deleted file mode 100644 index c0689f1..0000000 --- a/samples/rosetta/ackermann.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]] |