#lang info

(define name "Reduction Semantics examples")

(define test-omit-paths '("church.rkt"
                          "combinators.rkt"
                          "compatible-closure.rkt"
                          "delim-cont/test.rkt"
                          "letrec.rkt"
                          "list-machine/slides.rkt"
                          "omega.rkt"
                          "r6rs/r6rs-tests.rkt"
                          "r6rs/show-examples.rkt"
                          "racket-machine/impl-exec.rkt"
                          "racket-machine/reduction-test.rkt"
                          "racket-machine/verification-test.rkt"
                          "semaphores.rkt"
                          "subject-reduction.rkt"
                          "threads.rkt"
                          "types.rkt"))
