Function fungi_lang::reduce::reduce
source · Expand description
Perform reduction steps (via step
) until irreducible.
Reduces the current configuration until it is irreducible. This process will (generally) both push and pop the configuration’s stack; it will entirely consume the initial stack frames, if any, before returning control.