Wolfram Language Paclet Repository
Community-contributed installable additions to the Wolfram Language
Guide
Functions for lambda expressions
Construction
— generate a random lambda expression
— generate a random lambda with a given size
— enumerate lambda expressions
— enumerate all lambdas with a given size
— enumerate all linear lambdas of a given size
EnumerateAffineLambdas
— lambda terms representing Church natural numbers
— parse various string forms of lambdas
Evaluation
— iterate beta substitution
— list of positions where beta substitution is possible
— list of possible single beta substitutions
— association with position and corresponding reduced terms
— list of iterated beta substitutions
— reduce lambda and return intermediate term sizes
— evaluate a lambda expression with delayed substitution
BetaReduceCompiled
BetaReduceListCompiled
BetaReduceSizesCompiled
Representation
— universal lambda converter into various forms
— annotate lambdas with arguments
— convert nested Function and variable form lambda to a lambda expression
— tag lambda with variable names
UntagLambda
— colorize lambdas and variables of the lambda expression
UncolorizeLambda
— left associative lambda form
— right associative lambda form
— only brackets and parenthesis form
— lambda string form
Static visualization
— lambda tree representation
— lambda graph representation
— tree graph with edges connecting each lambda and its variables
— Tromp's lambda diagram
— array plot of lambda expression characters
— array plot of a lambda expression with depth
— array plot of multiple lambdas expressions with depth
— string diagrammatic lambda object
— string diagram with smoothed wires
Dynamic visualization
— sequence of highlighted lambda terms
— list of trees for iterated beta substitutions
— causal graph with beta substitution events for a single reduction sequence
— bipartite graph with events and states
— multiway graph of lambda beta reductions
— multiway causal graph
— multiway causal evolution graph
Query
BetaNormalQ
ClosedLambdaQ
LinearLambdaQ
AffineLambdaQ
Other
$Lambda
$LambdaStyles
$LambdaGridStyleRules
$LambdaResults
$CompiledFunctions
""