Changes

Jump to: navigation, search

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
Retrieved from "https://vtluug.org/wiki/Special:MobileDiff/6221"

Navigation menu