Anagopos: a reduction graph visualizer for term rewriting and lambda calculus

Niels Bjørn Bugge Grathwohl, Jeroen Ketema, Jens Duelund Pallesen, Jakob Grue Simonsen