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