25 May
2021
25 May
'21
12:08 a.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).