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