From 2e0a67b6219052b57a9ca5db666038c31ea0cec9 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Sat, 30 Mar 2024 16:54:14 +0100
Subject: Adds tests for samples

---
 samples/rosetta/ackermann_function.bruijn | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 samples/rosetta/ackermann_function.bruijn

(limited to 'samples/rosetta/ackermann_function.bruijn')

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]]
-- 
cgit v1.2.3