Action:
||allocate a cell |then |||store 5 in it and bind "x" to it ||and then moreover |||recursively bind "f" to the integer stored in the given cell hence ||store 10 in the cell bound to "x" |then ||give the integer bound to "f"Informal description:
Incomplete...Try this action using Java ANI.
[Created by Luis Carlos. Last edited at 16 Apr 2004 by Luis Carlos]