search

zxcalc / quantomatic

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

Allow specifying data types on nodes when editing the theory #189

Closed hmillerbakewell closed 6 years ago

hmillerbakewell commented 6 years ago

Similar to selecting colours or shapes.