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