Wolfram Language Paclet Repository

Community-contributed installable additions to the Wolfram Language

Primary Navigation

    • Cloud & Deployment
    • Core Language & Structure
    • Data Manipulation & Analysis
    • Engineering Data & Computation
    • External Interfaces & Connections
    • Financial Data & Computation
    • Geographic Data & Computation
    • Geometry
    • Graphs & Networks
    • Higher Mathematical Computation
    • Images
    • Knowledge Representation & Natural Language
    • Machine Learning
    • Notebook Documents & Presentation
    • Scientific and Medical Data & Computation
    • Social, Cultural & Linguistic Data
    • Strings & Text
    • Symbolic & Numeric Computation
    • System Operation & Setup
    • Time-Related Computation
    • User Interface Construction
    • Visualization & Graphics
    • Random Paclet
    • Alphabetical List
  • Using Paclets
    • Get Started
    • Download Definition Notebook
  • Learn More about Wolfram Language

Lambda

Guides

  • Guide

Symbols

  • BetaPositionReductions
  • BetaReduceChain
  • BetaReduceList
  • BetaReduce
  • BetaReducePositions
  • BetaReduceSizes
  • BetaReduceStepPlot
  • BetaReduceTreeList
  • BetaReductions
  • BetaSubstitute
  • BLCLambda
  • ChurchNumeral
  • ColorizeLambda
  • CombinatorLambda
  • EnumerateLambdas
  • EnumerateLinearLambdas
  • EnumerateSizeLambdas
  • EtaReduce
  • EvalLambda
  • FindMinimalLambdaCombinator
  • FromChurchNumeral
  • FunctionLambda
  • HighlightLambdaTree
  • LambdaApplication
  • LambdaArrayPlot
  • LambdaBLC
  • LambdaBrackets
  • LambdaCausalEvolutionGraph
  • LambdaCausalGraph
  • LambdaCombinator
  • LambdaConvert
  • LambdaDepthArrayPlot3D
  • LambdaDepthArrayPlot
  • LambdaDiagram
  • LambdaFunction
  • LambdaGraph
  • LambdaLoopbackGraph
  • LambdaMultiwayCausalEvolutionGraph
  • LambdaMultiwayCausalGraph
  • LambdaMultiwayGraph
  • LambdaRightApplication
  • LambdaSmiles
  • LambdaStringDiagram
  • LambdaString
  • LambdaToHaskell
  • LambdaTreeDiagram
  • LambdaTree
  • LambdaVariableForm
  • ParseLambda
  • RandomLambda
  • RandomSizeLambda
  • SmoothLambdaStringDiagram
  • TagLambda
  • UncolorizeLambda
  • UntagLambda
  • $LambdaCombinatorStore
Wolfram`Lambda`
$LambdaCombinatorStore
​
$LambdaCombinatorStore[]
XXXX
​
Examples  
(1)
Basic Examples  
(1)
In[1]:=
$LambdaCombinatorStore
Out[1]=
EntityStore
Type: LambdaCombinator
Entities: {I,K,KI,…,B3,PermSwap12,PermRotate123} (41)
Properties: {Name,Aliases,LambdaPretty,…,BasisSK,Schema,ReferenceKeys} (14)

In[2]:=
EntityList["LambdaCombinator"]
Out[2]=

I
,
K
,
KI
,
S
,
B
,
Blackbird
,
Bunting
,
Becard
,
C
,
Thrush
,
Jay
,
BluebirdPrime
,
CardinalOnceRemoved
,
M
,
ApplyTwice
,
Delta
,
W
,
W1
,
W2
,
Omega
,
Y
,
Z
,
Owl
,
Iota
,
True
,
False
,
IfThenElse
,
Not
,
And
,
Or
,
Zero
,
One
,
Succ
,
Schema_Bn
,
Schema_Wn
,
Schema_Permutation
,
B1
,
B2
,
B3
,
PermSwap12
,
PermRotate123

In[3]:=
EntityValue["LambdaCombinator","Dataset"]
Out[3]=
I
Aliases
{I,Idiot,Identity}
Arity
1
14 total ›
K
Aliases
{K,Kestrel}
Arity
2
14 total ›
KI
Aliases
{KI,Kite}
Arity
2
14 total ›
S
Aliases
{S,Starling}
Arity
3
14 total ›
B
Aliases
{B,Bluebird,Composer}
Arity
3
14 total ›
Blackbird
Aliases
{Blackbird,B1}
Arity
4
14 total ›
Bunting
Aliases
{Bunting,B2}
Arity
5
14 total ›
Becard
Aliases
{Becard,B3}
Arity
6
14 total ›
C
Aliases
{C,Cardinal,Flip}
Arity
3
14 total ›
Thrush
Aliases
{Thrush,T}
Arity
2
14 total ›
rows 1–10 of 41
""

© 2025 Wolfram. All rights reserved.

  • Legal & Privacy Policy
  • Contact Us
  • WolframAlpha.com
  • WolframCloud.com