Combinators

Jump to bottom

Michael Duggan edited this page Nov 20, 2020 · 2 revisions

Operator	Combinator	Lambda
Apply	I*	λxy.xy
Apply 2	I**	λxyz.xyz
Apply 3	I***	λwxyz.wxyz
Conjunction		λxyz.&(xz)(yz)
Disjunction		λxyz.\|(xz)(yz)
Negation	B !	λxy.!(xy)
Pipe	C B	λxyz.y(xz)
Pipe2		λwxyz.y(wz)(xz)
Flip	C	λxyz.xzy
Identity	I	λx.x