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