There are currently two evaluation strategies. "Slow" picks a random transformable node and does its transformation, "Fast" takes the list of all possible transformations and does them in a random order, skipping transitions that are no longer valid. It is also possible to mouse over nodes to transform them. These should be renamed to better reflect what they do.
Some other things that would be nice are a deterministic setting that does all transformations in a specific order, a delay-based mode that has each node wait for a specified time before transforming, and a speed slider for all modes.
The ability to prevent specific transformations from happening automatically is also fun to have. By disabling only the L-A transitions, the molecule will settle in ways that usually correspond to lambda terms.
There are currently two evaluation strategies. "Slow" picks a random transformable node and does its transformation, "Fast" takes the list of all possible transformations and does them in a random order, skipping transitions that are no longer valid. It is also possible to mouse over nodes to transform them. These should be renamed to better reflect what they do.
Some other things that would be nice are a deterministic setting that does all transformations in a specific order, a delay-based mode that has each node wait for a specified time before transforming, and a speed slider for all modes.
The ability to prevent specific transformations from happening automatically is also fun to have. By disabling only the L-A transitions, the molecule will settle in ways that usually correspond to lambda terms.