Adds tests for samples

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]]