Description
Anagopos is a free and open-source application that allows you to visualize the reduction graphs of terms in lambda calculus and term rewriting.
Moreover, Anagopos enables step-by-step generation of reduction graphs under 6 different graph drawing algorithms.
Anagopos is cross-platform and it works on Mac OS X and Linux. Binary for the Linux platform is available on the project's homepage.
User Reviews for Anagopos FOR MAC 1
-
for Anagopos FOR MAC
Anagopos for Mac is a powerful tool for visualizing reduction graphs in lambda calculus. Its step-by-step generation feature is impressive.