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. |
|