diff options
| author | Marvin Borner | 2022-08-07 00:06:20 +0200 |
|---|---|---|
| committer | Marvin Borner | 2022-08-07 00:08:17 +0200 |
| commit | d2a5d69f42d74e8382ca29c8c166eba3a79d20d5 (patch) | |
| tree | 01e3fa75173e99dc78b516050079acb1d1b11a0d /benchmark.bruijn | |
| parent | 4ec1d9312839bf73ad80a4555e5c53e0b388c86a (diff) | |
Progress
As always - very descriptive. I've been busy with exams but from now
on I'll be working on bruijn again.
Diffstat (limited to 'benchmark.bruijn')
| -rw-r--r-- | benchmark.bruijn | 21 |
1 files changed, 20 insertions, 1 deletions
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] |