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