Combinators

Jump to bottom

Joseph C. Sible edited this page Jan 27, 2018 · 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)
Flip	C	λxyz.xzy
Identity	I	λx.x