Functional Programming, Haskell, Computer Science, Lambda Calculus, Algorithms.
m) n)) & (h (o n))) & (i λp.p)) p = b o = λq.q n = r r = s s = λt.λu.u m = λv.λv.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 n))) & (i λq.q)) q = b p = (o & r) n = s s = t t = λu.λv.v m = λw.λw.q f = j λa.b ---------------- b = λc.(((d