Installation Instructions
To install this paclet in your Wolfram Language environment,
evaluate this code:
PacletInstall["Wolfram/Lambda"]
To load the code after installation, evaluate this code:
Needs["Wolfram`Lambda`"]
Examples
Basic Examples (4)
Generate 10 random lambda expressions with depth 3 and maximum sub-expression length of 2:
Evaluate a lambda expression:
Convert lambda to different forms:
Colorize lambda:
Annotate lambda with smiles:
Scope (3)
Enumerate and colorize all lambda expression up-to depth 2 and length 2:
Evaluate lambdas:
Perform η-reduction:
Turn a random lambda expression to Function and back:
Applications (2)
Evaluate Church numerals:
Evaluate Ackermann function:
Neat examples (3)
Iterate a single sub-evaluation:
Trace a non-terminating lambda expression and visualize the intermediate steps in many different ways:
Make multiway graphs of β-reductions:
Compatibility
Wolfram Language Version 13.1
External Links
Version History
-
1.0.11
– 15 October 2024
-
1.0.10
– 14 October 2024
-
1.0.9
– 14 October 2024
-
1.0.8
– 13 October 2024
-
1.0.7
– 13 October 2024
-
1.0.6
– 21 September 2024
-
1.0.5
– 20 September 2024
-
1.0.4
– 19 September 2024
-
1.0.3
– 18 September 2024
-
1.0.2
– 18 September 2024
-
1.0.1
– 17 September 2024
-
1.0.0
– 11 September 2024
MIT License
Paclet Source
See Also