On this page:
typed-in
opaque-type-in
7.4

7 Untyped with Typed Syntax

The plaitypus/untyped language supports the same syntax as plaitypus, but it performs no type checking.

The define-syntax, define-syntax-rule, module+, and require forms from plaitypus/untyped are the bindings from racket/base instead of plaitypus.

Forms for require that simulate the ones from plaitypus by expanding to uses of only-in.