Hailstone sequence: Difference between revisions
Content added Content deleted
(Add bruijn) |
|||
| Line 2,232: | Line 2,232: | ||
below-100000 [0 : ∀(hailstone 0)] <$> seq |
below-100000 [0 : ∀(hailstone 0)] <$> seq |
||
seq take (+99999) (iterate ++‣ (+ |
seq take (+99999) (iterate ++‣ (+1b)) |
||
main [head (max-by (M.compare ⋔ tail) below-100000)] |
main [head (max-by (M.compare ⋔ tail) below-100000)] |
||