diff options
| author | Marvin Borner | 2024-03-23 19:18:16 +0100 |
|---|---|---|
| committer | Marvin Borner | 2024-03-23 19:18:16 +0100 |
| commit | 7bfc78b122ad9cbb65eed16f7de4d4021547c2a8 (patch) | |
| tree | e45a22aeddb12257a94e32083ed10dfa3a0da66e /samples/euler/002.bruijn | |
| parent | fc9980e5e19602748b8cc596cdd07c02ac2889f1 (diff) | |
Some Project Euler solutions
Diffstat (limited to 'samples/euler/002.bruijn')
| -rw-r--r-- | samples/euler/002.bruijn | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/samples/euler/002.bruijn b/samples/euler/002.bruijn new file mode 100644 index 0000000..a0b614c --- /dev/null +++ b/samples/euler/002.bruijn @@ -0,0 +1,13 @@ +:import std/Combinator . +:import std/List . +:import std/Math . + +# could be arbitrary >34, chosen by manual min search +lim (+34) + +solve [∑(crit <#> (take lim fibs))] + crit φ [[0 1 0]] even? (\les? 0) + +:test ((solve (+4000)) =? (+3382)) ([[1]]) + +main [solve (+4000000)] |