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