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