Re: [Haskell-cafe] Tool for visualisation of graph reduction step by step

Miguel Ramos 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.