search

zxcalc / quantomatic

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

nested !-boxes not always matching #180

Open akissinger opened 6 years ago