Closed kubanrob closed 1 year ago
This is an implementation of variable merging discussed in issue #26.
Do not merge this branch yet!
This is a prototype. Only variables that names starts with global_ will be merged. We still need to discuss the intended semantics.
global_
Closing this PR after 5+ years :)
This is an implementation of variable merging discussed in issue #26.
Do not merge this branch yet!
This is a prototype. Only variables that names starts with
global_
will be merged. We still need to discuss the intended semantics.