8.1.0.6
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 |
#lang typed/racket |