From 547102b2b4532abdde303bfd6adf9905892cc7a0 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sun, 21 Dec 2008 13:57:46 +0000 Subject: [PATCH] fine-tune typechecking index entry svn: r12920 original commit: ec600c59bb9caa15f10fb68844677e56a4ce86dc --- collects/typed-scheme/ts-guide.scrbl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/typed-scheme/ts-guide.scrbl b/collects/typed-scheme/ts-guide.scrbl index f662e135..079a86fb 100644 --- a/collects/typed-scheme/ts-guide.scrbl +++ b/collects/typed-scheme/ts-guide.scrbl @@ -14,7 +14,7 @@ @author["Sam Tobin-Hochstadt"] -@index["typecheck"] +@section-index["typechecking"] Typed Scheme is a Scheme-like language, with a type system that supports common Scheme programming idioms. Explicit type declarations