From 70a2897ed761ed2e71be1a3f6eafb52ed81ef292 Mon Sep 17 00:00:00 2001 From: Duncan McGreggor Date: Fri, 15 Mar 2019 09:13:55 -0500 Subject: [PATCH] Fixed old copy/paste foldl typo in docs. --- hackett-doc/scribblings/hackett/reference.scrbl | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/hackett-doc/scribblings/hackett/reference.scrbl b/hackett-doc/scribblings/hackett/reference.scrbl index 118c250..999a136 100644 --- a/hackett-doc/scribblings/hackett/reference.scrbl +++ b/hackett-doc/scribblings/hackett/reference.scrbl @@ -361,7 +361,7 @@ then @racket[name-id] is bound directly to the type alias. (#:type n)) If @racket[param-id]s are specified, then uses of the type alias must supply as many arguments as -there are @racket[param-id]s. The arguments are supplied like those to a type constructor—i.e. +there are @racket[param-id]s. The arguments are supplied like those to a type constructor—i.e. @racket[(name-id type-argument ...)]—and the resulting type is @racket[type-expr] with each @racket[param-id] substituted with the corresponding @racket[type-argument]. @@ -840,9 +840,9 @@ the following expression: @defproc[(foldl [f {b t:-> a t:-> b}] [acc b] [xs (t:List a)]) b]{ Reduces @racket[xs] to a single value using a left-associative binary operator, @racket[f], using -@racket[acc] as a “seed” element. Uses of @racket[foldr] can be thought of as a series of nested, +@racket[acc] as a “seed” element. Uses of @racket[foldl] can be thought of as a series of nested, left-associative applications of @racket[f], so if @racket[xs] contains elements named @racket[_x0], -@racket[_x1], @racket[_x2] etc., up to @racket[_xn], then @racket[(foldr f acc xs)] is equivalent to +@racket[_x1], @racket[_x2] etc., up to @racket[_xn], then @racket[(foldl f acc xs)] is equivalent to the following expression: @(racketblock