identity is of type for all types A, A to A.
define function identity of x:
return x.
end.
constant is of type for all types A and B, A to B to A.
define function constant of x of y:
return x.
end.
define factorial of type int to int of n:
if n equals 0, then: return 1.
else: return n times factorial of (n minus 1).
end.
Name:
Anonymous2012-01-23 0:25
I think the quantity should be a grouping phrase equivalent to parentheses around the next sub-expression. define factorial of type int to int of n:
if n equals 0, then: return 1.
else: return n times factorial of the quantity n minus 1.
end.