#lang racket/base (require "interface.rkt" "module.rkt" "link.rkt" "invoke.rkt" "top.rkt" "require.rkt" "keywords.rkt" "teachpacks.rkt" (except-in "../lang/acl.rkt" include-book)) (provide (rename-out [interface-macro interface] [module-macro module] [link-macro link] [restrict-macro restrict] [invoke-macro invoke] [module-begin-macro #%module-begin] [top-interaction-macro #%top-interaction] [require-macro require]) (all-from-out "keywords.rkt" "teachpacks.rkt" "../lang/acl.rkt"))