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