diff options
Diffstat (limited to 'samples')
| -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) |