Unclear from practical is users should be using directed or undirected edges

zxcalc / quantomatic

Quantomatic is a tool for doing automated graph rewriting.

http://quantomatic.github.io

154 stars 22 forks source link

Unclear from practical is users should be using directed or undirected edges #103

Closed iislucas closed 11 years ago

iislucas commented 11 years ago

Clarify if the rules are really wanting to be ones with directed edges & clarify that edge direction has to match. Probably best to simply say: don't turn on the show edge direction, and don't use directed edges.

akissinger commented 11 years ago

Clarified. We do want edge direction. Partly because it fits the curriculum better, and partly so people can't cheat by using the built-in red-green theory. :)