From 7bfc78b122ad9cbb65eed16f7de4d4021547c2a8 Mon Sep 17 00:00:00 2001 From: Marvin Borner Date: Sat, 23 Mar 2024 19:18:16 +0100 Subject: Some Project Euler solutions --- samples/euler/014.bruijn | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 samples/euler/014.bruijn (limited to 'samples/euler/014.bruijn') diff --git a/samples/euler/014.bruijn b/samples/euler/014.bruijn new file mode 100644 index 0000000..5e0e906 --- /dev/null +++ b/samples/euler/014.bruijn @@ -0,0 +1,15 @@ +# TODO: Really slow + +:import std/Combinator . +:import std/List . +:import std/Math . +:import std/Number/Binary . + +hailstone-length y [[[0 =? (+1b) 1 go]]] (+0b) + go =²?0 (2 ++1 /²0) (2 ++1 (↑¹0 + 0)) + +solve [max-by (compare ⋔ hailstone-length) (take 0 (iterate inc (+1b)))] + +:test ((solve (+1000)) =? (+871b)) ([[1]]) + +main [solve (+1000000)] -- cgit v1.2.3