Lambda Animator 6.1 pode ser baixado do nosso site de graça. As seguintes versões são as mais frequentemente baixadas pelos usuários do programa: 6.1 e 6.0. Lambda Animator foi originalmente criado por Mike Thyer.
Do desenvolvedor:
Lambda Animator is a tool for demonstrating and experimenting with alternative reduction strategies in the lambda calculus. Eager languages reduce arguments before function application. Lazy languages reduce arguments, if needed, after function application.
Reductions can also be performed within function bodies. Performing reductions within functions can have a specializing effect.
Confira mais programas, tais como Camtasia Studio, Unity Web Player ou Blender, que podem ser similares a Lambda Animator.