lambda is a minilanguage created in 2013.

untyped λ-calculus, several evaluation strategies

• lambda website
• lambda first developed in https://github.com/andrejbauer/plzoo/issues
• Read more about lambda on the web: 1.