Wolfram Language Paclet Repository
Community-contributed installable additions to the Wolfram Language
WolframInstitute`PiMachine`
PiPlus  |
|
| | ||||
Examples
(1)
Basic Examples
(1)
In[1]:=
 | PiPlus |
 | PiUnit |
| PiZero |
Out[1]=
++
In[2]:=
PiFalse//InputForm
Out[2]//InputForm=
PiTerm[PiChoice[1][PiTerm[PiOne, PiUnit]], PiPlus[PiUnit, PiUnit]]
Basic combinators:
In[3]:=
| PiCombinator |
Out[3]=
-A._+A._
In[4]:=
| PiCombinator |
Out[4]=
-A._+A._
In[5]:=
| PiCombinator |
Out[5]=
A._+B._B._+A._
In[6]:=
| PiCombinator |
Out[6]=
A._+(B._+C._)(A._+B._)+C._
In[7]:=
| PiCombinator |
Out[7]=
(A._+B._)+C._A._+(B._+C._)
""