Software Developed by Mike Thyer

Lambda Animator  v.6 1

Lambda Animator is a tool for demonstrating and experimenting with alternative reduction strategies in the lambda calculus. Eager languages reduce arguments before function application.

Newest Reviews