Variables and Recursive Functions

In ccli, you can use variables in place of values. Assignments are done with the := operator. For example, we could write

f := lambda x . lambda y . ( x + y ) / 2;
x := 10.0;
f x ( x + 1 );

which results in the value 10.5;