Functional Programming, Haskell, Computer Science, Lambda Calculus, Algorithms.
λs.λt.t k = λu.λu.b λa.b ---------------- b = λc.((d λe.f) & (a λg.f)) f = λh.((e ((i j) k)) & (g ((l j) k))) l = λm.λn.(m λo.λp.p) k = q q = λr.λs.s j = λt.λt.b λa.b ---------------- b = λc.((d λe.f) & (a λg.f)) f = λh.((e ((i j) k)) & (g ((λl.m j) k))) m = λn.((l & o) λp.λq.q) k = r r = λs.λt.t j