A small program with a black hole http://www.cs.chalmers.se/~sparud/tracer/loop.scr Tracing from output http://www.cs.chalmers.se/~sparud/tracer/hanoi.scr push A bintree sorting program Version 1, with a black hole http://www.cs.chalmers.se/~sparud/tracer/h1.scr Version 2, non-termination http://www.cs.chalmers.se/~sparud/tracer/h2.scr Version 3, no match in tail http://www.cs.chalmers.se/~sparud/tracer/h3.scr Version 4, another match failure http://www.cs.chalmers.se/~sparud/tracer/h4.scr The final working version http://www.cs.chalmers.se/~sparud/tracer/h5.scr pop push Manual Running scripts http://www.cs.chalmers.se/~sparud/tracer/about.scr Exploring Redex Trails http://www.cs.chalmers.se/~sparud/tracer/exploring.scr pop