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