
May 24, 2021
10:08 p.m.
We could define "change" in terms of the hash of the object the name points to, as well as the name itself (the pointer to the object).