From d6c37aaf3d86fa446a5a8f32a9cb608221c33b49 Mon Sep 17 00:00:00 2001 From: John Clements Date: Sun, 21 Dec 2008 10:00:47 +0000 Subject: [PATCH] ... svn: r12919 original commit: 424ec50bfb3b755103b0516c4a0e69d40ed67811 --- collects/typed-scheme/ts-guide.scrbl | 2 ++ 1 file changed, 2 insertions(+) diff --git a/collects/typed-scheme/ts-guide.scrbl b/collects/typed-scheme/ts-guide.scrbl index e6e1845c..f662e135 100644 --- a/collects/typed-scheme/ts-guide.scrbl +++ b/collects/typed-scheme/ts-guide.scrbl @@ -14,6 +14,8 @@ @author["Sam Tobin-Hochstadt"] +@index["typecheck"] + Typed Scheme is a Scheme-like language, with a type system that supports common Scheme programming idioms. Explicit type declarations are required --- that is, there is no type inference. The language