Place and delete generators, connect and disconnect wires.
Connect ports by clicking a dangling wire or boundary port, then clicking where you want to connect. Valid connection points will be highlighted in red. Connect to boundaries by clicking on the left- and right-hand-sides of the grid.Watch out: a gap in the boundary will be interpreted as an unconnected port.
Add generators and rewrite rules
Add a rewrite rule using the "+" button in the "rewrite rules" section.Watch out: a gap in the boundary will be interpreted as an unconnected port.
Draw your starting term, and apply rewrites
drawing some simple diagrams