diff options
| author | Marvin Borner | 2024-05-17 13:49:22 +0200 |
|---|---|---|
| committer | Marvin Borner | 2024-05-17 13:49:22 +0200 |
| commit | 001e80ae2571d15973a1e5b9b95975dcf9f005b6 (patch) | |
| tree | d81162d63c9634ebbcf511dc3127e84aeabbc7ea | |
| parent | 8044eb95639d96512c8891b0c4dca11a4e9e162a (diff) | |
Fixed tests
| -rw-r--r-- | samples/fun/goldbach.bruijn | 1 | ||||
| -rw-r--r-- | samples/fun/huge.bruijn | 2 |
2 files changed, 2 insertions, 1 deletions
diff --git a/samples/fun/goldbach.bruijn b/samples/fun/goldbach.bruijn index 2592a40..8f2a235 100644 --- a/samples/fun/goldbach.bruijn +++ b/samples/fun/goldbach.bruijn @@ -1,4 +1,5 @@ # Tromp's version, will reduce to [0] iff Goldbach conjecture is false + :import std/Combinator . zero [[1]] diff --git a/samples/fun/huge.bruijn b/samples/fun/huge.bruijn index 2f36dc1..974f2ea 100644 --- a/samples/fun/huge.bruijn +++ b/samples/fun/huge.bruijn @@ -2,7 +2,7 @@ # some of the fastest growing functions per blc length # 55 bits inflating to 65536 bits, John Tromp -huge-55 [[0 0 0 0 [[0 [[0]] 1]]] (+2u) +huge-55 [[0 0 0 0 [[0 [[0]] 1]]] (+2u)] # 64 bits inflating to ??? bits, John Tromp huge-64 [0 0 h 0 0 0] (+2u) |