Consider the following definition written in Cinnameg.
Define f(n) = (:n*n :: f(n+1):).
What value does expression f(2) compute? Give the full value,
as it would be if it were examined. (It suffices to give
a clear description of the full value.) Evaluating a promise does not
change the value that is represented, it only changes the representation of
the value.
[4, 9, 16, 25, 36, …] (an infinite list of the squares of the integers
[2, 3, 4, 5, …]).