diff options
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]] |