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/016.bruijn | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 samples/euler/016.bruijn (limited to 'samples/euler/016.bruijn') diff --git a/samples/euler/016.bruijn b/samples/euler/016.bruijn new file mode 100644 index 0000000..b5ede83 --- /dev/null +++ b/samples/euler/016.bruijn @@ -0,0 +1,10 @@ +# TODO: digit-sum/quot-rem is still the bottleneck + +:import std/Combinator . +:import std/Math . + +solve (pow (+2)) → digit-sum + +:test ((solve (+15)) =? (+26)) ([[1]]) + +main [solve (+1000)] -- cgit v1.2.3