[Haskell-cafe] Graphical graph reduction

Jacques Carette carette at mcmaster.ca
Sun Feb 24 10:31:44 EST 2008


I think HOPS is what you are looking for
http://www.cas.mcmaster.ca/~kahl/HOPS/

It may advertize itself otherwise, but the main thing you 'see' when 
running programs in fully explicit mode is exactly all the graph reductions.

Jacques


More information about the Haskell-Cafe mailing list