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