diff options
Diffstat (limited to 'samples/fun/goldbach.bruijn')
| -rw-r--r-- | samples/fun/goldbach.bruijn | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/samples/fun/goldbach.bruijn b/samples/fun/goldbach.bruijn new file mode 100644 index 0000000..2592a40 --- /dev/null +++ b/samples/fun/goldbach.bruijn @@ -0,0 +1,20 @@ +# Tromp's version, will reduce to [0] iff Goldbach conjecture is false +:import std/Combinator . + +zero [[1]] + +one [[0]] + +sieve y [[[0 one (2 sn1 f)]]] + f y [sn2 0] + sn2 [[0 (0 4 1)] [[[[0 2 (1 3)]]]]] + sn1 [[0 (0 3 1)] [[[[0 2 (1 3)]]]]] + +zeroS [[[[0 zero (1 3)]]]] + +primes sieve zeroS + +check y [[[[[primes 0 (1 (4 0))] testp1]]]] + testp1 [0 0 2 [0 4] 0] + +main primes (check [[[[0]]]]) |