Description
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.