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

Niels BjøRn Bugge Grathwohl, Jeroen Ketema, Jens Duelund Pallesen & Jakob Grue Simonsen
We present Anagopos, an open source tool for visualizing reduction graphs of terms in lambda calculus and term rewriting. Anagopos allows step-by-step generation of reduction graphs under six different graph drawing algorithms. We provide ample examples of graphs drawn with the tool.