|
|
One of the most important native functions provided by Pico is the if selection function. The if function takes three arguments, the first of which must have a true or false value, depending on which either the second or the third argument will be evaluated. Pasted to the transcript is a first hint of a way to express a definition of the if function: it suffices to apply the value of the first argument to the two other arguments. For a formal elaboration we refer to the next chapter.
