Changes

VTLUUG:2016-03-24

7 bytes added, 21:43, 25 March 2016

→‎Examples

(ƛx.x)2

(ƛ[x:=2]) x is bound to 2

2

</pre>

Anonymous user

imported>Echarlie

Retrieved from "https://vtluug.org/wiki/Special:MobileDiff/6221"