Open blefloch opened 8 years ago
There should be different kinds of steps, most obviously steps which perform a non-expandable primitive and steps which simply perform expansion. These should be clearly differentiated. It may be useful to look at the possible actions that are currently printed to get an idea of a list of possibilities.
Currently the notion of "step" in
unravel
is a bit haphazard. It would be good to clarify what a step can be. This would probably force the code to be simplified.Admittedly, this issue is presently very vague.