The Typed Racket Reference
This manual describes the Typed Racket language, a sister language of Racket with a static type-checker. The types, special forms, and other tools provided by Typed Racket are documented here.
For a friendly introduction, see the companion manual The Typed Racket Guide. For technical details, refer to the Bibliography.
|#lang typed/racket/base||package: typed-racket-lib|