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