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/063.bruijn | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 samples/euler/063.bruijn (limited to 'samples/euler/063.bruijn') diff --git a/samples/euler/063.bruijn b/samples/euler/063.bruijn new file mode 100644 index 0000000..eb54a65 --- /dev/null +++ b/samples/euler/063.bruijn @@ -0,0 +1,5 @@ +:import std/Combinator . +:import std/Math . +:import std/List . + +main [∑([y [[0 =? ++(log (+10) (2 ** 0)) (1 ++0) --0]] (+1)] <$> ({ (+1) → (+9) }))] -- cgit v1.2.3