From 424ec50bfb3b755103b0516c4a0e69d40ed67811 Mon Sep 17 00:00:00 2001 From: John Clements Date: Sun, 21 Dec 2008 10:00:47 +0000 Subject: [PATCH] ... svn: r12919 --- 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 e6e1845ca5..f662e135cb 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