The Lambda project is an interpreter software for Lambda calculus.
Lambda comes packed with numerous interesting combinators provided in a definition file pre-loaded with the software. Its various settings allow users to influence the way reduction and extraction are performed (set), while its short manual provides the necessary guidance on how to use lambda.
Some of the key features include the ability to load predefined lambda expression, many preloaded definitions for numbers, Y fact map, iszero, list, 1st, 2nd, 3rd, ADD, MUL, EXP, list, suc, pred, and more. The software automatically defines numbers as per the user's need, interprets lambda expressions, and enables single-step interpretation. Additionally, it supports normal or application order reductions, variable extraction (Conversion to S K I), and list definitions.
To operate Lambda, the following requirements are necessary: libstdc++. Version upgrades come with additional features such as the addition of the xapp flag for ext command or made ext behavior consistent, and preprocessing for user manual. The latter feature allows automatic insertion of a table of contents and character entity translations.
Version 0.1.4: N/A