Closed this issue 6 years ago · 1 comments
In the semantics, we only add stuff to the <references> cell. We should also remove from it when the lifetime of a reference ends.
<references>
Fixed in #572.