Wolfram Language Paclet Repository
Community-contributed installable additions to the Wolfram Language
WolframInstitute`PiMachine`
PiCombinator  |
|
| | ||||
Examples
(2)
Basic Examples
(2)
List and construct basis combinators:
In[1]:=
 | PiCombinator |
Out[1]=
{Identity,ZeroElimination,ZeroIntroduction,PlusSwap,PlusLeftAssociation,PlusRightAssociation,ZeroAbsorb,ZeroFactor,UnitElimination,UnitIntroduction,TimesSwap,TimesLeftAssociation,TimesRightAssociation,Distribution,Factorization,PlusCup,PlusCap,TimesCup,TimesCap,EvalForward,EvalBackward}
In[2]:=
| PiCombinator |
 | PiCombinator |
Out[2]=
,l,l,,,,PiCombinator[ZeroAbsorb],PiCombinator[ZeroFactor],l,l,,,,,,,,PiCombinator[TimesCup],PiCombinator[TimesCap],,
id
unite
+
uniti
+
swap
+
assocl
+
assocr
+
unite
*
uniti
*
swap
*
assocl
*
assocr
*
dist
factor
η
+
ϵ
+
eval
†
eval
In[3]:=
| PiCombinator |
| PiOne |
Out[3]=
absorbz
1
In[4]:=
| PiCombinator |
| PiOne |
Out[4]=
factorz
1
In[5]:=
| PiCombinator |
Out[5]=
ϵ
*
In[6]:=
| PiCombinator |
Out[6]=
η
*
Import shortcut names for combinators:
In[1]:=
Needs["WolframInstitute`PiMachine`Programs`"]
In[2]:=
swap[PiFalse]
Out[2]=
In[3]:=
uniti[PiFalse]
Out[3]=
1
In[4]:=
zeroi[PiTrue]
Out[4]=
2
""