Example of a Recursive Action

Action: 


|recursively bind "i" to abstraction of give successor(1)
hence
|enact the abstraction bound to "i"
Informal description:

Incomplete...

Try this action using Java ANI.

RAT| People

[Created by Luis Carlos. Last edited at 16 Apr 2004 by Luis Carlos]