Paolo Jorge Matos wrote:
> (require (lib "trace.ss"))
> (trace inverte-iter)
> (trace inverte-iter-aux)
What's the official HtDP line on the use of trace? I bet my students
would love to know about this. I am not sure I want to tell them about
it. --PR