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 /samples/fun/goldbach.bruijn | |
| parent | 8044eb95639d96512c8891b0c4dca11a4e9e162a (diff) | |
Fixed tests
Diffstat (limited to 'samples/fun/goldbach.bruijn')
| -rw-r--r-- | samples/fun/goldbach.bruijn | 1 |
1 files changed, 1 insertions, 0 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]] |