From 93b53a5354620d94b128008d0b17670cc87c92f5 Mon Sep 17 00:00:00 2001 From: Marvin Borner Date: Thu, 21 Mar 2024 12:51:02 +0100 Subject: Added lcm --- samples/rosetta/hailstone.bruijn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'samples/rosetta/hailstone.bruijn') diff --git a/samples/rosetta/hailstone.bruijn b/samples/rosetta/hailstone.bruijn index 46cf8a2..d98c235 100644 --- a/samples/rosetta/hailstone.bruijn +++ b/samples/rosetta/hailstone.bruijn @@ -16,6 +16,6 @@ seq-27 hailstone (+27b) :test (take (+4) <~>seq-27) ((+1b) : ((+2b) : ((+4b) : {}(+8b)))) all-below-100000 [0 : ∀(hailstone 0)] <$> seq - seq take (+1000) (iterate ++‣ (+1b)) + seq take (+99999) (iterate ++‣ (+1b)) main [head (max-by (M.compare ⋔ tail) all-below-100000)] -- cgit v1.2.3