[plt-scheme] HTDP 21.1.2

From: Felix Klock's PLT scheme proxy (pltscheme at pnkfx.org)
Date: Tue Jul 11 09:30:17 EDT 2006

Wooks-

On Jul 11, 2006, at 9:26 AM, Felix Klock's PLT scheme proxy wrote:

> Likewise,
> ;; fold : forall X, Y . X (X Y -> Y) [Listof X] -> Y
>

Many pardons, this should have been:

;; fold : forall X, Y . Y (X Y -> Y) [Listof X] -> Y

And likewise, the renamed version (with S and T) was flawed in the  
same way.

So go through and fix my examples before trying to answer the last  
question.

-Felix





Posted on the users mailing list.