CRDTs: A State Based Implementation of Counters

A CRDT allows actors to increment only. This requires us to uniquely identify every actor in the system. So we imagine this counter as a set of pairs. And then when we share our state, what we do is we just union those two sets together. It's interesting to see how these things kind of build on top of each other.