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