Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Browse files
Browse the repository at this point in the history
Make :($a, $b) := \(1, 2) update $a and $b.
Previously, the spec had such a construct doing nothing. We'll try it like this for a bit to see how it works out. Note, shortest patch that could possibly work; probably needs some tuning.
- Loading branch information