This directory contains the plt redex files for each of the
langauges described in the paper.

  == r5rs ====================================================

  r5rs.scm
    The complete R5RS semantics.


  == smaller systems =========================================

  app.scm      -- semantics with all evaluation orders
  app-bad.scm  -- buggy semantics with all evaluation orders
  eval.scm     -- semantics of quote and eval
  mv.scm       -- semantics of multiple values
  dw.scm       -- semantics of dynamic wind
  tl.scm       -- semantics of the top-level

  generic-fixed-repl.scm -- the code from figure 8
  trim.scm -- the trim function (used by both r5rs.scm & dw.scm)
  reify.scm -- the refiy function (used by eval.scm; 
               r5rs.scm has a slightly different one)


  == experimentation =========================================

  show-examples.scm -- this file allows experimentation with
  the smaller systems in the paper, via a GUI. Uncomment one
  of the examples already in the file to see how to use
  them.

  show-r5-examples.scm -- this file allows experimentation
  with the full semantics, via a GUI. Uncomment one of the
  examples already in the file to see how to use them.


  == tests ===================================================

  run-tests.scm: runs all of the tests for the smaller systems.

  r5rs-tests.scm: runs all of the r5rs tests. To run, evaluate
  (run-tests) after requiring this. From the shell:

    mzscheme -qmvt r5rs-tests.scm -e '(run-tests)'

  Each period corresponds to a single test and colons show
  progress when a single test goes thru lots of states.

  For more verbose output (to actually see test expressions,
  even when they pass):

    mzscheme -qmvt r5rs-tests.scm -e '(run-tests #t)'

  test.scm: testing infrastructure

  other files named *-tests.scm: the test cases for each of
    the respective smaller systems.

  test-proof-coloring: contains an example that tests all of
  the red coloring (not automated -- you have to click thru
  and know what to expect to see if it passes).
