Skip to content

claude: feat(symbolic): support bare compound Var in Let bindings

1a51f34
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

Fix parser, powerset domains, and compound var aliases #11

claude: feat(symbolic): support bare compound Var in Let bindings
1a51f34
Select commit
Loading
Failed to load commit list.
check
failed Feb 12, 2026 in 14m 52s