Rakugrid › laws

laws/sum-is-reduce

generated by gen/laws.raku · generated/laws/sum-is-reduce.grid

law

(({A}), ({B})).sum === [+] (({A}), ({B}))

ladder

numeric, arity 2

121 tests

120 agree 1 ruled

← laws/strne-is-not-streqlaws/tilde-is-Str →