This directory contains the PLT Redex implementation of the R6RS operational semantics and a test suite for the semantics. It runs in DrScheme v4.x.

This version of the semantics matches the r5.92rs report.

== r6rs.scm: the semantics itself.

== r6rs-tests.scm: the test suite for the semantics. Use:

mzscheme -t r6rs-tests.scm -m

to run the tests and see a single period shown per test run (each test that explores more than 100 states shows a colon for each 100 states it explores). To see a more verbose output (that shows each test), use:

mzscheme -t r6rs-tests.scm -m #t

== show-examples.scm: use this file to explore particular examples in a GUI. Its content shows how to use it and gives a few examples. Either run it in DrScheme's module language, or like this from the commandline:

mred show-examples.scm

== test.scm: test suite infrastructure

For details on PLT Redex see:

http://redex.plt-scheme.org/

Although note that this version of the semantics uses an old version of Redex.