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