9 lines
200 B
Racket
9 lines
200 B
Racket
#lang racket/base
|
|
(require "runtime.rkt"
|
|
"serialize.rkt"
|
|
"stx.rkt")
|
|
(provide make-theory
|
|
theory/c
|
|
(all-from-out "serialize.rkt")
|
|
(all-from-out "stx.rkt"))
|