TCombinator

Notation

Symbol	Bird	Combinator
S	Starling	`S`
B	Bluebird	`S(KS)K`
E	Eagle	`B(BBB)`
T	Tanimbar	`T`
J	Jay	`B(BC)(W(BC(B(BBB))))`

\[\begin{aligned} T (J S B E) &\xrightarrow{\beta} T (S B (S E B)) \\ &\xrightarrow{\alpha} (\lambda x. 1) (S B (S E B)) \\ &\xrightarrow{T} 1 \end{aligned} \tag{1}\]

Tanimbar is the TCombinator