8.12
7 Untyped with Typed Syntax
| #lang plai-typed/untyped | package: plai-typed |
The plai-typed/untyped language supports the same syntax as
plai-typed, but it performs no type checking.
The define-syntax, define-syntax-rule, module+, and require forms from plai-typed/untyped are the bindings from racket/base instead of plai-typed.
syntax
syntax