Variables inside !-boxes should be able to create new variables when copied

zxcalc / quantomatic

Quantomatic is a tool for doing automated graph rewriting.

http://quantomatic.github.io

152 stars 22 forks source link

Variables inside !-boxes should be able to create new variables when copied #162

Open hmillerbakewell opened 6 years ago

akissinger commented 6 years ago

Already started this, on the branch fresh-name-bb. Users will be able to mark a variable as "fresh" by wrapping it in square brackets. When a !-box is expanded, any square-bracket variables get fresh names.