Further Examples: Trace
This shows the order of operations in a simple arithmetic expression.
Here is the recursive definition of the Fibonacci numbers.
Here are the end conditions for the recursion.
This tells Trace to return only the arguments of fib used in the evaluation of fib.
This shows all occurrences of fib in the evaluation of fib.