From 2fa5365a821132327b7dca5fe2310828fced81f6 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Wed, 28 Oct 1998 17:11:04 +0000 Subject: [PATCH] . original commit: 6c8c673635b3defc414fe6061b328bdb08476dfb --- collects/mzlib/functior.ss | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/mzlib/functior.ss b/collects/mzlib/functior.ss index edd018d..ff6b21a 100644 --- a/collects/mzlib/functior.ss +++ b/collects/mzlib/functior.ss @@ -102,8 +102,8 @@ (lambda (l r) (remove* l r eqv?)))) - ;; fold : ((A -> B) B (listof A) -> B) - ;; fold : ((A1 ... An -> B) B (listof A1) ... (listof An) -> B) + ;; fold : ((A B -> B) B (listof A) -> B) + ;; fold : ((A1 ... An B -> B) B (listof A1) ... (listof An) -> B) ;; foldl builds "B" from the beginning of the list to the end of the ;; list and foldr builds the "B" from the end of the list to the