Changes
→Beta reduction
Meat of Lambda calculus.
<pre>
Currying example: (ƛx.x)2 (ƛabc.cba)zz(ƛwv.w)(ƛ[x:=2x]) (ƛa.(ƛb.(ƛc.cba)))(z)z(ƛw.(ƛv.w))) The first function 2 (ƛa.(ƛb.zba)z(ƛw.(ƛv.w) Only applies the first z
(ƛz.zz)(ƛy.yy)
(ƛ[z:=(ƛ
</pre>
