Examples

x A variable by itself

?x.x An identity function

?x.x y The identity function applied to y

?x.?y.y A function that returns the identify function

Previous slide

Next slide

Back to first slide

View graphic version