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