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