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