racket

History

Eli Barzilay 4c2940a6d9 Simplify away uses of "-t" in `drdr:command-line'. In some cases use `module+' to make the code run nicely without a "-m". (And some other minor tweaks.)		2012-06-19 12:52:22 -04:00
..
grammar.rkt	Fixes definition of evaluation contexts	2010-11-26 13:02:13 -06:00
meta.rkt	".ss" -> ".rkt" scan done.	2011-07-02 10:37:53 -04:00
model-impl.rkt	A long overdue scan to eliminate files without terminating newlines.	2011-06-28 02:01:41 -04:00
randomized-tests-test.rkt	A long overdue scan to eliminate files without terminating newlines.	2011-06-28 02:01:41 -04:00
randomized-tests.rkt	Simplify away uses of "-t" in `drdr:command-line'.	2012-06-19 12:52:22 -04:00
README.txt	Fix another bunch of "language" typos.	2011-08-26 05:26:46 -04:00
reduce.rkt	".ss" -> ".rkt" scan done.	2011-07-02 10:37:53 -04:00
test.rkt	".ss" -> ".rkt" scan done.	2011-07-02 10:37:53 -04:00

README.txt

To run the tests using the model:
---------------------------------

 1. Open "test.rkt" in DrRacket

 2. Change DrRacket's current language to "Use the language declared
    in the source"

 3. Click "Run"

Afterward, in the REPL window that shows whether the tests passed, you
can try your own expressions using the `show' function. The program
`call/cc-loop' is helpfully defined, so that you can try

 (show call/cc-loop)


To read the program:
--------------------

After a quick look at "grammar.rkt", read "reduce.rkt". If you become
interested in a metafunction, see "meta.rkt"