Anagopos: A Reduction Graph Visualizer for Term Rewriting and Lambda Calculus.

Niels Bjørn Bugge Grathwohl, Jeroen Ketema, Jens Duelund Pallesen, and Jakob Grue Simonsen
Proceedings of the 22nd International Conference on Rewriting Techniques and Applications (RTA 2011), Novi Sad, Serbia, May 30 – June 1


We present Anagopos, a tool for visualizing reduction graphs of terms in lambda calculus and term rewriting. Anagopos allows step-by-step generation of reduction graphs under 6 different graph drawing algorithms. We provide ample examples of graphs drawn with the tool.