> As the ml syntax outlines here, a function can have a statement which can be a function call: > > program-item: > statement > | function identifier ( identifier )* > ←–tab–→ statement1 > ←–tab–→ statement2 > .... > > statement: > identifier "<-" expression > | print expression > | return expression > | functioncall > > So does this mean recursion is allowed or is this referring to calling other functions only?