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