10 lines
184 B
Racket
10 lines
184 B
Racket
#lang racket/base
|
|
|
|
(provide (all-from-out
|
|
"turnstile.rkt"
|
|
macrotypes/typecheck))
|
|
|
|
(require "turnstile.rkt"
|
|
(only-in macrotypes/typecheck #%module-begin))
|
|
|