1#lang info 2 3(define name "Reduction Semantics examples") 4 5(define test-omit-paths '("church.rkt" 6 "combinators.rkt" 7 "compatible-closure.rkt" 8 "delim-cont/test.rkt" 9 "letrec.rkt" 10 "list-machine/slides.rkt" 11 "omega.rkt" 12 "r6rs/r6rs-tests.rkt" 13 "r6rs/show-examples.rkt" 14 "racket-machine/impl-exec.rkt" 15 "racket-machine/reduction-test.rkt" 16 "racket-machine/verification-test.rkt" 17 "semaphores.rkt" 18 "subject-reduction.rkt" 19 "threads.rkt" 20 "types.rkt")) 21