GUIDE
​
URL
Combinator Functions
This page lists some of the functions in
Wolfram Function Repository
created to explore combinators.
Combinatory Terms
Application
() — combinator application operator
CombinatorS
,
CombinatorK
— Schönfinkel basic combinators
CombinatorB
▪
CombinatorC
▪
CombinatorI
▪
CombinatorW
▪
CombinatorY
Construction and Enumeration
□
EnumerateCombinators
— enumerate combinators involving a given number of symbols
□
SKCombinatorCompile
— converts any combinator expression to the SK basis
□
ChurchCombinator
Construct
▪
Function
▪
Groupings
▪
FixedPoint
Combinator Evolution
□
CombinatorFixedPoint
,
□
CombinatorFixedPointList
— apply combinator rules until a fixed point is reached
□
CombinatorEvolve
,
□
CombinatorEvolveList
— apply combinators rules for a certain number of steps
□
TraversalOrderSelect
 ▪
□
CombinatorMatches
 ▪
□
CombinatorStep
Combinator Visualization
□
CombinatorPlot
— visualize a combinator expression
□
CombinatorEvolutionPlot
— visualize combinator evolution
□
CombinatorExpressionGraph
— show a combinator expression as a graph
□
CombinatorBracketsPlot
— show a combinator expression using brackets
Automated Theorem Proving
□
MultiwayCombinator
— combinator expression as a multiway system
□
FindCombinatorProof
— generate proofs in combinatory logic
AxiomaticTheory
▪
FindEquationalProof
RelatedGuides
▪
Wolfram Physics Project Functions
RelatedLinks
▪
Wolfram Physics Project Home Page
▪
Hands-On Introduction to the Wolfram Physics Project
▪
Wolfram Physics Project: Technical Introduction