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