Changes
→Examples
<pre>
(ƛz.zz)(ƛy.yy)
(ƛ[z:=(ƛy.yy)].zz)
(ƛy.yy)(ƛy.yy)
(ƛy.yy)
1
</pre>
<pre>
Currying example:
(ƛabc.cba)zz(ƛwv.w)
(ƛa.(ƛb.(ƛc.cba)))(z)z(ƛw.(ƛv.w))) The first function only applies the first z
(ƛb.(ƛc.cbz))z(ƛw.(ƛv.w)) applies Applies from the outer parenths parenthesis in(ƛc.czz)(ƛw.(ƛv.w)) so So c is applied last
(ƛw.(ƛv.w))zz
(ƛv.z)z
z
</pre>
<pre>
(ƛx.ƛy.xyy)(ƛa.a)b
(ƛy.(ƛa.a)yy)(b)
(ƛa.a)bb
bb
</pre>
<pre>
(ƛx.x)(ƛy.yy)(ƛz.zq) (ƛx.x) is the identity
(ƛy.yy)(ƛz.zq)
(ƛz.zq)(ƛz.zq)
qq
</pre>
[[Category:VTLUUG:Meetings]]
[[Category:2016]]
