Version 9.6.5

bakkot released this 10 Dec 03:39

· 220 commits to main since this release

Fix propagation of user-code across Abstract Closure boundaries #383
fix updateReferences #384
Fixes to user code effect handling #385
avoid replacing a node while walking through its children #386
better errors for issues with clauses #387

Assets 2