ref: 2b5f8533f10f944dbe0833af1a4fcd88dbd5e5ef
parent: 152d7fa7d2fbbfe26170932c58c3d46ad95cf0c1
author: Runxi Yu <me@runxiyu.org>
date: Sun Jan 25 15:51:08 EST 2026
TODO: Ref might need to be an interface
--- /dev/null
+++ b/TODO
@@ -1,0 +1,1 @@
+consider making Ref an interface satisfied by concrete RefDetached, RefSymbolic
--
⑨