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 deletions(-)
 delete 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
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]]
-- 
cgit v1.2.3