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