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