diff options
Diffstat (limited to 'samples')
| -rw-r--r-- | samples/euler/001.bruijn | 2 | ||||
| -rw-r--r-- | samples/euler/006.bruijn | 2 | ||||
| -rw-r--r-- | samples/io/echo.bruijn | 9 | ||||
| -rw-r--r-- | samples/io/random.bruijn | 6 | ||||
| -rw-r--r-- | samples/io/reverse.bruijn | 7 | ||||
| -rw-r--r-- | samples/rosetta/Universal_Lambda_Machine.bruijn (renamed from samples/rosetta/universal_lambda_machine.bruijn) | 0 | ||||
| -rw-r--r-- | samples/rosetta/ackermann-function.bruijn (renamed from samples/rosetta/ackermann.bruijn) | 0 | ||||
| -rw-r--r-- | samples/rosetta/fizzBuzz.bruijn (renamed from samples/rosetta/fizzbuzz.bruijn) | 0 | ||||
| -rw-r--r-- | samples/rosetta/hailstone_sequence.bruijn (renamed from samples/rosetta/hailstone.bruijn) | 0 | ||||
| -rw-r--r-- | samples/rosetta/special_factorials.bruijn (renamed from samples/rosetta/special_factorial.bruijn) | 0 | ||||
| -rw-r--r-- | samples/rosetta/validate_international_securities_identification_number.bruijn (renamed from samples/rosetta/validate_isin.bruijn) | 0 |
11 files changed, 2 insertions, 24 deletions
diff --git a/samples/euler/001.bruijn b/samples/euler/001.bruijn index 1678b58..72b605f 100644 --- a/samples/euler/001.bruijn +++ b/samples/euler/001.bruijn @@ -3,7 +3,7 @@ :import std/Math . solve [∑(crit <#> ({ (+0) → --0 }))] - crit φ m ((\mod (+3)) → zero?) ((\mod (+5)) → zero?) + crit [ψ m ((mod 0) → zero?) (+3) (+5)] :test ((solve (+10)) =? (+23)) ([[1]]) diff --git a/samples/euler/006.bruijn b/samples/euler/006.bruijn index 75582c7..4de0d10 100644 --- a/samples/euler/006.bruijn +++ b/samples/euler/006.bruijn @@ -1,7 +1,7 @@ :import std/Combinator . :import std/Math . -solve [|(sum-of-squares - square-of-sum)] +solve [square-of-sum - sum-of-squares] sum-of-squares ∑ (+1) → 0 | (\pow (+2)) square-of-sum (∑ (+1) → 0 | i) ** (+2) diff --git a/samples/io/echo.bruijn b/samples/io/echo.bruijn deleted file mode 100644 index b17bda1..0000000 --- a/samples/io/echo.bruijn +++ /dev/null @@ -1,9 +0,0 @@ -# "echo text | bruijn echo.bruijn" - -:import std/Monad . - -# returning the binary encoded argument ⇒ echo -main [0] - -# alternative using monads -main* read >>= return diff --git a/samples/io/random.bruijn b/samples/io/random.bruijn deleted file mode 100644 index ab23f91..0000000 --- a/samples/io/random.bruijn +++ /dev/null @@ -1,6 +0,0 @@ -# "cat /dev/random | bruijn random.bruijn" -# prints number between 0 and 255 - stdin laziness! - -:import std/Pair . - -main [^0] diff --git a/samples/io/reverse.bruijn b/samples/io/reverse.bruijn deleted file mode 100644 index 7a3553f..0000000 --- a/samples/io/reverse.bruijn +++ /dev/null @@ -1,7 +0,0 @@ -# "echo tacocat | bruijn reverse.bruijn" - -:import std/List . - -# stdin is encoded as binary numbers in a list -# reversing the list reverses the input! -main [<~>0] diff --git a/samples/rosetta/universal_lambda_machine.bruijn b/samples/rosetta/Universal_Lambda_Machine.bruijn index 60ba551..60ba551 100644 --- a/samples/rosetta/universal_lambda_machine.bruijn +++ b/samples/rosetta/Universal_Lambda_Machine.bruijn diff --git a/samples/rosetta/ackermann.bruijn b/samples/rosetta/ackermann-function.bruijn index c0689f1..c0689f1 100644 --- a/samples/rosetta/ackermann.bruijn +++ b/samples/rosetta/ackermann-function.bruijn diff --git a/samples/rosetta/fizzbuzz.bruijn b/samples/rosetta/fizzBuzz.bruijn index 7f61704..7f61704 100644 --- a/samples/rosetta/fizzbuzz.bruijn +++ b/samples/rosetta/fizzBuzz.bruijn diff --git a/samples/rosetta/hailstone.bruijn b/samples/rosetta/hailstone_sequence.bruijn index d98c235..d98c235 100644 --- a/samples/rosetta/hailstone.bruijn +++ b/samples/rosetta/hailstone_sequence.bruijn diff --git a/samples/rosetta/special_factorial.bruijn b/samples/rosetta/special_factorials.bruijn index 588a95f..588a95f 100644 --- a/samples/rosetta/special_factorial.bruijn +++ b/samples/rosetta/special_factorials.bruijn diff --git a/samples/rosetta/validate_isin.bruijn b/samples/rosetta/validate_international_securities_identification_number.bruijn index 7608ed5..7608ed5 100644 --- a/samples/rosetta/validate_isin.bruijn +++ b/samples/rosetta/validate_international_securities_identification_number.bruijn |