From e92c35d90c6558ef54f5d81191eb4c1eaf88249c Mon Sep 17 00:00:00 2001 From: Stevie Strickland Date: Sun, 13 Jul 2008 22:33:37 -0400 Subject: [PATCH] I'm not sure how best to add this as a hit for "rest argument(s)" without actually putting that in the section title -- and truthfully, maybe it should be, for those who aren't deeply versed in PL but know enough Lisp/Scheme to ask for this. --- collects/typed-scheme/typed-scheme.scrbl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/typed-scheme/typed-scheme.scrbl b/collects/typed-scheme/typed-scheme.scrbl index 74ef6ccaf3..bf85f9ee19 100644 --- a/collects/typed-scheme/typed-scheme.scrbl +++ b/collects/typed-scheme/typed-scheme.scrbl @@ -290,7 +290,7 @@ The new type constructor @scheme[All] takes a list of type variables and a body type. The type variables are allowed to appear free in the body of the @scheme[All] form. -@section{Variable-Arity Functions} +@section{Variable-Arity Functions: Programming with Rest Arguments} Typed Scheme can handle some uses of rest arguments.