diff options
Diffstat (limited to 'samples/aoc/2019/01/solve.bruijn')
| -rw-r--r-- | samples/aoc/2019/01/solve.bruijn | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/samples/aoc/2019/01/solve.bruijn b/samples/aoc/2019/01/solve.bruijn new file mode 100644 index 0000000..518d198 --- /dev/null +++ b/samples/aoc/2019/01/solve.bruijn @@ -0,0 +1,27 @@ +:import std/Combinator . +:import std/Logic . +:import std/String . +:import std/Math . + +fuel [/³*0 - (+2)] ⧗ Mass → Fuel + +:test ((fuel (+12)) =? (+2)) (true) +:test ((fuel (+14)) =? (+2)) (true) +:test ((fuel (+1969)) =? (+654)) (true) +:test ((fuel (+100756)) =? (+33583)) (true) + +fuelfuel z [[rec]] ⧗ Mass → Fuel + rec go (fuel 0) + go [>?0 (0 + (2 0)) (+0)] + +:test ((fuelfuel (+14)) =? (+2)) (true) +:test ((fuelfuel (+1969)) =? (+966)) (true) +:test ((fuelfuel (+100756)) =? (+50346)) (true) + +part1 ∑‣ ∘ (map fuel) ⧗ (List Mass) → Fuel + +part2 ∑‣ ∘ (map fuelfuel) ⧗ (List Mass) → Fuel + +main [parts nums] + nums number! <$> ~(<~>(lines 0)) + parts [(part1 0) : (part2 0)] |