From d2a5d69f42d74e8382ca29c8c166eba3a79d20d5 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Sun, 7 Aug 2022 00:06:20 +0200
Subject: Progress

As always - very descriptive. I've been busy with exams but from now
on I'll be working on bruijn again.
---
 benchmark.bruijn | 21 ++++++++++++++++++++-
 1 file changed, 20 insertions(+), 1 deletion(-)

(limited to 'benchmark.bruijn')

diff --git a/benchmark.bruijn b/benchmark.bruijn
index e11668f..e9e539c 100644
--- a/benchmark.bruijn
+++ b/benchmark.bruijn
@@ -28,4 +28,23 @@ n37 succ (mul n6 n6)
 n703 sumto n37
 n720 fac n6
 
-main eqnat n720 (add n703 n17) = true
+# this can take some time..
+# - should return true
+:print eqnat n720 (add n703 n17)
+
+# =========
+# Ackermann
+# From AIT
+# =========
+
+two [[1 (1 0)]]
+omega [0 0]
+ackify [[0 1 0]]
+ackerlike [0 ackify omega 0]
+
+# this can take a VERY long while
+# maybe even too long for benchmarking
+# - should return exponential tower with 256 levels
+# :print ackerlike two
+
+main [0]
-- 
cgit v1.2.3