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

Navigation menu