Lambda

So can anybody tell me in a way one can understand it what the fucking lambda calculus does?

lambda calculus is the equine embodyment of the alpha beta calculus, the beatuficl synegry between leaves you bold and unquamqueathed within wonderfur brunmble. recent develoments in combinatory logic leaf and understand within the failures of combinatory logic and lambda calculus outwith ones reach.

Holy trinity (expressed in BNF) of:
<LAMBDA CALCULUS> ::=
  <VAR>             Holy rule of the free variable
| lambda <VAR>. <LAMBDA CALCULUS>        holy and ultimate lambda
| <LAMBDA CALCULUS> <LAMBDA CALCULUS>    The duality of holy application of lambdas

which can lead to a unique definition of every simple total complete understanding of lambda calculus. second on your left is the ALPHA BETA rules of holy conversion. lambda calculus conversion of beta terms.

Sacred combinator logic is expresed in lambda terms,
 K = lambda SCOT, lambda JUDY, SCOT
 S = I withholds this combinator for the recrsion would cause a turing complete exposition.

TOME SICP, EXPRESSES THE MATROMONY CAR AND CDR IN LAMBDA.

CONS = LAMBDA CAR LAMABD CDR LAMBDA SEL (SEL CAR CDR)
CAR = LAMBDA CONS (CONS (LAMBDA CAR LAMBDA CDR CAR))
CDR = LAMBDA CONS (CONS (LAMBDA CAR LAMBDA CDR CDR))

( ﾟ ヮﾟ)