README
1This directory a the PLT Redex implementation of the
2R6RS operational semantics and a test suite for the
3semantics.
4
5== r6rs.rkt: the semantics itself.
6
7== r6rs-tests.rkt: the test suite for the semantics. Use:
8
9 racket -t r6rs-tests.rkt -m
10
11 to run the tests and see a single period shown per test
12 run (each test that explores more than 100 states shows a
13 colon for each 100 states it explores). To see a more
14 verbose output (that shows each test), use:
15
16 racket -t r6rs-tests.rkt -m #t
17
18== show-examples.rkt: use this file to explore particular
19 examples in a GUI. Its content shows how to use it and
20 gives a few examples. Either run it in DrRacket's module
21 language, or like this from the commandline:
22
23 gracket show-examples.rkt
24
25== test.rkt: test suite infrastructure
26