From 34d16fe1d8c525828f48599b281cc7b0b799a1a1 Mon Sep 17 00:00:00 2001 From: Ben Greenman Date: Sat, 2 Jul 2016 00:33:30 -0400 Subject: [PATCH] ts-guide: change 1st sentence --- typed-racket-doc/typed-racket/scribblings/ts-guide.scrbl | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/typed-racket-doc/typed-racket/scribblings/ts-guide.scrbl b/typed-racket-doc/typed-racket/scribblings/ts-guide.scrbl index 50a7cb19..1977caa3 100644 --- a/typed-racket-doc/typed-racket/scribblings/ts-guide.scrbl +++ b/typed-racket-doc/typed-racket/scribblings/ts-guide.scrbl @@ -12,9 +12,8 @@ @section-index["typechecking" "typechecker" "typecheck"] -Typed Racket is a family of languages, each of which enforce -that programs written in the language obey a type system that ensures -the absence of many common errors. This guide is intended for programmers familiar +Typed Racket is Racket's gradually-typed sister language which allows +the incremental addition of statically-checked type annotations. This guide is intended for programmers familiar with Racket. For an introduction to Racket, see @(other-manual '(lib "scribblings/guide/guide.scrbl")). For the precise details, also see