Functional Programming, Haskell, Computer Science, Lambda Calculus, Algorithms.
---------------- 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.r r = λs.s m = λt.λt.o 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.q q = r r = λs.s m =