Functional Programming, Haskell, Computer Science, Lambda Calculus, Algorithms.
λ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 = λ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 = λc.(((d λe.λf.(e ((g h) λi.λj.j))) & (k