The Σ calculus Part 0

Sums are common enough in programming that it is worth our time to become skilled at manipulating them. Here we give the repetoire of general formulae that are highly useful when dealing with sums.

Continued