Miguel Ramos <org.haskell <at> miguel.ramos.name> writes: > tool for the stepwise visualisation of graph reduction? I'm pretty sure the Graph Transformation community has lots. A typical venue is http://www.informatik.uni-bremen.de/icgt2012/ - J.W.