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