feat(formal): grow P-3 to a real borrow graph (loan edges + move-locality)#627

hyperpolymath merged 1 commit into

mainhyperpolymath/affinescript:mainfrom

claude/lucid-cray-4a22dphyperpolymath/affinescript:claude/lucid-cray-4a22dpCopy head branch name to clipboard