From f8398804d351667a7b887b89f6f70c7d5c407d22 Mon Sep 17 00:00:00 2001 From: Marvin Borner Date: Mon, 25 Mar 2024 16:21:54 +0100 Subject: More samples and definitions --- samples/euler/048.bruijn | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 samples/euler/048.bruijn (limited to 'samples/euler/048.bruijn') diff --git a/samples/euler/048.bruijn b/samples/euler/048.bruijn new file mode 100644 index 0000000..e4f2cbb --- /dev/null +++ b/samples/euler/048.bruijn @@ -0,0 +1,11 @@ +# TODO: also very slow + +:import std/Combinator . +:import std/String . +:import std/Math . + +solve [∑ (+1) → 0 | [pow-mod 0 0 (+10000000000)]] + +:test ((solve (+10)) =? (+405071317)) ([[1]]) + +main [solve (+1000)] -- cgit v1.2.3