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

Abstract

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.