search

zxcalc / quantomatic

Quantomatic is a tool for doing automated graph rewriting.
http://quantomatic.github.io
152 stars 22 forks source link

Copy from derivation #128

Closed akissinger closed 10 years ago

akissinger commented 10 years ago

You should be able to copy graphs (but not cut or paste) out of derivations.