Nuestra página web le ofrece una descarga gratuita de Lambda Animator 6.1. Las versiones 6.1 y 6.0 son las más descargadas por los usuarios del programa. Este programa sin coste fue diseñado originariamente por Mike Thyer.
Del desarrollador:
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.
Quizás esté interesado en probar otros programas, como Animated Wallpaper Maker, Anime Studio Pro o DP Animation Maker, que podrían ser similares a Lambda Animator.