From 055caf7d7b6e49f1d5214f498234d0448eb962fa Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Fri, 14 Feb 2014 17:33:02 -0500 Subject: [PATCH] Add a top blurb to the TR Reference original commit: 6fd39d78d74ec66bb97ce18110e279e151c42e8d --- .../typed-racket/scribblings/ts-reference.scrbl | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/ts-reference.scrbl b/pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/ts-reference.scrbl index 2a3d366c..919362c8 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/ts-reference.scrbl +++ b/pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/ts-reference.scrbl @@ -8,6 +8,13 @@ @author+email["Asumu Takikawa" "asumu@racket-lang.org"] ] +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 +@other-doc['(lib "typed-racket/scribblings/ts-guide.scrbl")]. + @(defmodulelang* (typed/racket/base typed/racket) #:use-sources (typed-racket/typed-racket